[Back]


Doctor's Theses (authored and supervised):
S. Woltran:
"Quantified Boolean Formulas - From Theory to Practice";
Supervisor, Reviewer: U. Egly; Institut fuer Informationssysteme, 2003.

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