Login / Signup

QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.

Enrico GiunchigliaMassimo NarizzanoArmando Tacchella
Published in: IJCAR (2001)
Keyphrases
  • quantified boolean formulas
  • decision procedures
  • reasoning tasks
  • optimal solution
  • propositional satisfiability
  • expert systems
  • xml documents