[Zurück]


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


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.