Checking satisfiability of a conjunction of BDDs.

Robert F. Damiano James H. Kukula

Published in: DAC (2003)

Keyphrases

satisfiability problem
heuristic search
computational complexity
binary decision diagrams
propositional logic
np complete
decision procedures
satisfiability testing
phase transition
consistency checking
query language
orders of magnitude
sat problem