Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Balyo, F. Lonsing:
"HordeQBF: A Modular and Massively Parallel QBF Solver";
Vortrag: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016,
Bordeaux, France;
05.07.2016
- 08.07.2016; in: "Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings",
Springer,
LNCS 9710
(2016),
ISBN: 978-3-319-40969-6;
S. 531
- 538.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-40970-2_33
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.