Symbolic Model Checking without BDDs (1999)

by A Biere, A Cimatti, E Clarke, Y Zhu
Venue:In Proceedings of TACAS’99, LNCS 1579