Symbolic Model Checking without BDDs," presented at Tools and Algorithms for the Analysis and Construction of Systems (TACAS'99 (1999)

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