Symbolic model checking without BDDs (1999)

by A Biere, A Cimatti, E M Clarke, Y Zhu
Venue:In 5th TACAS