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

by A Biere, A Cimatti, E M Clarke, M Fujita, Y Zhu
Venue:Proc. of DAC’99