An Integrated Approach for Combining BDD and SAT Provers.
Rolf DrechslerGörschwin FeySebastian KinderPublished in: VLSI Design (2006)
Keyphrases
- pseudo boolean constraints
- sat problem
- satisfiability problem
- search algorithm
- sat encodings
- boolean formula
- theorem prover
- sat solvers
- phase transition
- theorem proving
- binary decision diagrams
- knowledge representation
- variable ordering
- combining multiple
- linear constraints
- logic programs
- max sat
- computational complexity
- database