Martina Seidl, Florian Lonsing, C. Jordan, Lukasz Kaiser,
"MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing"
: Theory and Applications of Satisfiability Testing - SAT 2014. 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Serie Lecture Notes in Computer Science (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:
Theory and Applications of Satisfiability Testing - SAT 2014. 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Serie:
Lecture Notes in Computer Science (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-