Talks and Poster Presentations (with Proceedings-Entry):
C. Jordan, L. Kaiser, F. Lonsing, M. Seidl:
"MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing";
Talk: International Conference on Theory and Applications of Satisfiability Testing (SAT),
Wien;
2014-07-14
- 2014-07-17; in: "Lecture Notes in Computer Science",
LNCS / Springer,
8561
(2014),
ISBN: 978-3-319-09283-6;
430
- 437.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3_32
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.