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

by O Strichman
Venue:In: CHARME’01. (2001) 58–70