Sign in

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

Priyank KallaZhihong ZengMaciej J. CiesielskiChiLai 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