Login / Signup

Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.

Daijue TangSharad Malik
Published in: SAT (2006)
Keyphrases
  • quantified boolean formulas
  • decision procedures
  • combinatorial optimization
  • reasoning tasks
  • propositional satisfiability
  • boolean formula