Beyond CNF: A Circuit-Based QBF Solver.
Alexandra GoultiaevaVicki IversonFahiem BacchusPublished in: SAT (2009)
Keyphrases
- boolean formula
- quantified boolean formulas
- conjunctive normal form
- sat solvers
- propositional satisfiability
- sat solving
- practical problems
- np complete
- unit propagation
- high speed
- electronic circuits
- analog circuits
- boolean satisfiability
- reasoning tasks
- linear constraints
- membership queries
- cnf formula
- boolean functions
- decision procedures
- circuit design
- binary decision diagrams
- clause learning
- digital circuits
- sat problem
- davis putnam
- propositional logic
- analog vlsi
- industrial applications
- logic circuits
- automated reasoning
- orders of magnitude
- sat instances
- search space