Integrating BDD-based and SAT-based Symbolic Model Checking (2002)

by A Cimatti, E Giunchiglia, M Pistore, M Roveri, R Sebastiani, A Tacchella
Venue:In Proc. ”Frontiers of Combining Systems, FROCOS’02”, volume 2309 of LNAI