Talks and Poster Presentations (with Proceedings-Entry):
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form: Overview and Experimental Results";
Talk: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling,
Guangzhou, China (invited);
2006-09-24
- 2006-09-27; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling",
(2006),
Paper ID 7,
11 pages.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587008
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.