MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing

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.