Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Lonsing, U. Egly:
"Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API";
Vortrag: International Conference on Theory and Applications of Satisfiability Testing (SAT),
Austin, Texas, USA;
24.09.2015
- 27.09.2015; in: "Lecture Notes in Computer Science",
Springer,
9340
(2015),
S. 191
- 198.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-24318-4_14
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.