[Back]


Diploma and Master Theses (authored and supervised):
M. Zolda:
"Comparing Different Prenexing Strategies for Quantified Boolean Formulas";
Supervisor: U. Egly, S. Woltran; Institut fuer Informationssysteme, 2004.

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