Talks and Poster Presentations (with Proceedings-Entry):

U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form";
Talk: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy; 2006-08-29 - 2006-09-01; in: "Proceedings of the ECAI 2006", IOS Press, (2006), ISBN: 1-58603-642-4; 477 - 481.

Online library catalogue of the TU Vienna:

Electronic version of the publication:

Related Projects:
Project Head Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration

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