Symbolic Model Checking using SAT procedures instead of BDDs (1999)

by A Biere, A Cimatti, E M Clarke, M Fujita, Y Zhu
Venue:in Proc. 36th Design Automation Conf