[Back]


Doctor's Theses (authored and supervised):

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.


Created from the Publication Database of the Vienna University of Technology.