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

by A Biere, A Cimatti, E Clarke, M Fujita, Y Zhu
Venue:Proc. of the ACM/IEEE Design Automation Conference (DAC’99),