Symbolic model checking without BDDs (1999)

by Armin Biere, Alessandro Cimatti, Edmund Clarke, Yunshan Zhu
Venue:In Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1579