[Back]


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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586864

Electronic version of the publication:
http://www.big.tuwien.ac.at/research/publications/2006/3506.pdf



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.