Advanced unbounded model checking based on aigs, bdd sweeping, and quantifier scheduling (2006)

by F Pigorsch, C Scholl, S Disch
Venue:In Conference on Formal Methods in Computer Aided Design