Login / Signup

Subclasses of Quantified Boolean Formulas.

Andreas FlögelMarek KarpinskiHans Kleine Büning
Published in: CSL (1990)
Keyphrases
  • quantified boolean formulas
  • reasoning tasks
  • decision procedures
  • universally quantified
  • propositional satisfiability
  • orders of magnitude
  • modal logic
  • sat solvers