Can BDDs compete with SAT solvers on bounded model checking?

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full DAC paper archive.