Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams.

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

Browse the full ICCD paper archive.