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