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

by A Cimatti, E Giunchiglia, M Roveri, M Pistore, R Sebastiani, A Tacchella
Venue:in 4th International Workshop on Frontiers of Combining Systems, Santa Margherita Ligure