Boolean Satisfiability and Equivalence Checking using General Binary Decision Diagrams (1991)

by P Ashar, S Devadas, A Ghosh
Venue:In International Conference on Computer Design