Symbolic model checking without BDDs (1999)

by A Biere, A Cimatti, E Clarke, Y Zhu
Venue:In Fifth International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’99