Symbolic Decision Procedures for QBF.

Guoqiang Pan Moshe Y. Vardi

Published in: CP (2004)

Keyphrases

decision procedures
quantified boolean formulas
modal logic
theorem proving
automated reasoning
quantified boolean formulae
conjunctive queries
satisfiability problem
special case
computational complexity
knowledge representation
first order logic
fixpoint
propositional satisfiability
binary decision diagrams