M. Seidl: "A Solver for Quantified Boolean Formulas in Negation Normal Form"; Supervisor, Reviewer: U. Egly, S. Woltran; Institut für Informationssysteme, 2007; oral examination: 2007-03-20.