Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
U. Egly, M. Seidl, S. Woltran:
"A Solver for QBFs in Nonprenex Form: Overview and Experimental Results";
Vortrag: Guangzhou Symposioum on Satisfiability in Logic-Based Modeling,
Guangzhou, China (eingeladen);
24.09.2006
- 27.09.2006; in: "Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling",
(2006),
Paper-Nr. 7,
11 S.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587008
Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.