MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing

Martina Seidl; Florian Lonsing; C. Jordan; Lukasz Kaiser

doi:10.1007/978-3-319-09284-3\_32

MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing

Martina Seidl, Florian Lonsing, C. Jordan, Lukasz Kaiser

Institute of Formal Models and Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	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
Number of pages	8
Volume	8561
DOIs	https://doi.org/10.1007/978-3-319-09284-3\_32
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-319-09284-3\_32

Cite this

Seidl, M., Lonsing, F., Jordan, C., & Kaiser, L. (2014). MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing. In 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 (Vol. 8561). (Lecture Notes in Computer Science (LNCS)). https://doi.org/10.1007/978-3-319-09284-3\_32

Seidl, Martina ; Lonsing, Florian ; Jordan, C. et al. / 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. Vol. 8561 2014. (Lecture Notes in Computer Science (LNCS)).

@inproceedings{2cd6370af12946e39bc0dd233a7ab363,

title = "MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing",

author = "Martina Seidl and Florian Lonsing and C. Jordan and Lukasz Kaiser",

year = "2014",

doi = "10.1007/978-3-319-09284-3\textbackslash{}\_32",

language = "English",

isbn = "978-3-319-09283-6",

volume = "8561",

series = "Lecture Notes in Computer Science (LNCS)",

booktitle = "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",

}

Seidl, M, Lonsing, F, Jordan, C & Kaiser, L 2014, MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing. in 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. vol. 8561, Lecture Notes in Computer Science (LNCS). https://doi.org/10.1007/978-3-319-09284-3\_32

MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing. / Seidl, Martina; Lonsing, Florian; Jordan, C. et al.
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. Vol. 8561 2014. (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing

AU - Seidl, Martina

AU - Lonsing, Florian

AU - Jordan, C.

AU - Kaiser, Lukasz

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-09284-3\_32

DO - 10.1007/978-3-319-09284-3\_32

M3 - Conference proceedings

SN - 978-3-319-09283-6

VL - 8561

T3 - Lecture Notes in Computer Science (LNCS)

BT - 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

ER -

Seidl M, Lonsing F, Jordan C, Kaiser L. MPIDepQBF: Towards Parallel QBF Solving Without Knowledge Sharing. In 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. Vol. 8561. 2014. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-319-09284-3\_32