Symbolic model checking using SAT procedures instead of BDDs (1999)

by A Biere, A Cimatti, E M Clarke, M Fujita, Y Zhu
Venue:In 36th DAC