Symbolic model checking without BDDs. (1999)

by A Biere, A Cimatti, E Clarke, Y Zhu
Venue:In Tools and Algorithms for the Construction and Analysis of Systems (TACAS’1999),