Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach / School of Computing Science Simon Fraser University Burnaby / Stefan Woltran Institut f¨ur Informationssysteme / School of Computing Science / Simon Fraser University / /