Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Lonsing, U. Egly:
"DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL";
Vortrag: CADE 26 - 26th International Conference on Automated Deduction,
Gothenburg, Sweden;
06.08.2017
- 11.08.2017; in: "Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings",
Springer,
Lecture Notes in Computer Science / 10395
(2017),
ISBN: 978-3-319-63046-5;
S. 371
- 384.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-63046-5_23
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.