Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Jordan, L. Kaiser, F. Lonsing, M. Seidl:
"MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing";
Vortrag: International Conference on Theory and Applications of Satisfiability Testing (SAT),
Wien;
14.07.2014
- 17.07.2014; in: "Lecture Notes in Computer Science",
LNCS / Springer,
8561
(2014),
ISBN: 978-3-319-09283-6;
S. 430
- 437.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3_32
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas