Symbolic Model Checking without BDDs (1999)

by Armin Biere , Alessandro Cimatti, Edmund Clarke, Yunshan Zhu