Login / Signup

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams.

Pranav AsharAbhijit GhoshSrinivas Devadas
Published in: ICCD (1991)
Keyphrases
  • boolean satisfiability
  • binary decision diagrams
  • special case
  • boolean formula
  • randomly generated
  • orders of magnitude
  • satisfiability problem
  • boolean functions