Symbolic model checking without BDDs (1999)

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