Hybrid BDD and all-sat method for model checking and other application (2007)

by O Grumberg, Assaf Schuster, A Yadgar