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

by A Biere, A Cimatti, E M Clarke, M Fujita, Y Zhu
Venue:In Proceedings of the 36th Design Automation Conference