Login / Signup
Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams.
Pranav Ashar
Abhijit Ghosh
Srinivas Devadas
Published in:
ICCD (1991)
Keyphrases
</>
boolean satisfiability
binary decision diagrams
special case
boolean formula
randomly generated
orders of magnitude
satisfiability problem
boolean functions