Login / Signup

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams.

Pranav AsharAbhijit GhoshSrinivas Devadas
Published in: Integr. (1992)
Keyphrases
  • boolean satisfiability
  • binary decision diagrams
  • boolean formula
  • special case
  • data mining
  • boolean functions
  • sat solvers
  • sat problem