Symbolic Model Checking without BDDs,” in Tools and Algorithms for Construction and Analysis of Systems (1999)

by A Biere, A Cimatti, E M Clarke, Y Zhu