Integrating bdd-based and sat-based symbolic model checking (2002)

by Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
Venue:Frontiers of Combining Systems