SAT-based Verification without State Space Traversal (2000)

by Per Bjesse, Koen Claessen
Venue:In Formal Methods in Computer-Aided Design