Pruning techniques for the SAT-based bounded model checking problem (2001)

by O Strichman
Venue:CHARME 2001. LNCS