[Zurück]


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.