Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Lonsing, U. Egly:
"Incremental QBF Solving by DepQBF";
Vortrag: International Congress on Mathematical Software,
Seoul, South Korea;
05.08.2014
- 09.08.2014; in: "Mathematical Software - ICMS 2014",
Springer,
Volume 8592 of LNCS
(2014),
ISBN: 978-3-662-44198-5;
S. 307
- 314.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-662-44199-2_48
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.