K.C.: SAT-based verification without state space traversal (2000)

by Per Bjesse
Venue:In: International Conference on Formal Methods in Computer Aided Design