Login / Signup

Extended Failed-Literal Preprocessing for Quantified Boolean Formulas.

Allen Van GelderSamuel B. WoodFlorian Lonsing
Published in: SAT (2012)
Keyphrases
  • quantified boolean formulas
  • preprocessing
  • reasoning tasks
  • decision procedures
  • description logics
  • inference rules
  • propositional satisfiability
  • universally quantified