Symbolic model checking using sat procedures instead of bdds (1999)

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