LARA This is an old revision of the document! QBF and Quantifier Elimination Quantified Propositional Formulas Satisfiability is: Validity is: Quantifier Elimination Notion of PSPACE-completeness.