Login / Signup

Resolution for Quantified Boolean Formulas

Hans Kleine BüningMarek KarpinskiAndreas Flögel
Published in: Inf. Comput. (1995)
Keyphrases
  • quantified boolean formulas
  • universally quantified
  • decision procedures
  • reasoning tasks
  • objective function
  • orders of magnitude
  • constraint satisfaction
  • propositional satisfiability