[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

A. Niemetz, M. Preiner, F. Lonsing, M. Seidl, A. Biere:
"Resolution-Based Certificate Extraction for QBF";
Vortrag: Int. Conference on Theory and Applications of Satisfiability Testing, Trento; 17.06.2012 - 20.06.2012; in: "Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)", Springer LNCS, 7317 (2012), ISBN: 978-3-642-31611-1; S. 430 - 435.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-31612-8



Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.