Login / Signup

Minimal False Quantified Boolean Formulas.

Hans Kleine BüningXishun Zhao
Published in: SAT (2006)
Keyphrases
  • quantified boolean formulas
  • reasoning tasks
  • decision procedures
  • universally quantified
  • propositional satisfiability
  • heuristic search
  • industrial applications