The top documents tagged [finite model]
DL'12 dl-lite explanations
230 views
SAT-based Bounded Model Checking
54 views
ECE 874: Physical Electronics
22 views