Martina Seidl, Florian Lonsing, C. Jordan, Lukasz Kaiser,
"MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing"
: Lecture Notes in Computer Science, in LNCS / Springer, Serie LNCS, Vol. 8561, 2014, ISBN: 978-3-319-09283-6
Original Titel:
MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing
Sprache des Titels:
Englisch
Original Buchtitel:
Lecture Notes in Computer Science
Journal:
LNCS / Springer
Serie:
LNCS
Volume:
8561
Erscheinungsjahr:
2014
ISBN:
978-3-319-09283-6
Anzahl der Seiten:
8
Notiz zur Publikation:
Vortrag: International Conference on Theory and Applications of Satisfiability Testing (SAT), Wien; 2014-07-14 -- 2014-07-17
Forschungs-