A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm.

Priyank Kalla Zhihong Zeng Maciej J. Ciesielski ChiLai Huang

Published in: DATE (2000)

Keyphrases

satisfiability problem
building blocks
propositional logic
information exchange
sat problem
execution engine
data structure
heuristic search algorithms
computational properties
datalog programs