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.