ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

Maximilian Heisinger; Martina Seidl; Armin Biere

doi:10.1007/978-3-031-30823-9_22

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

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

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Editors	Sriram Sankaranarayanan, Natasha Sharygina
Publisher	Springer
Pages	426-447
Number of pages	22
Volume	13993
ISBN (Print)	9783031308222
DOIs	https://doi.org/10.1007/978-3-031-30823-9_22
Publication status	Published - 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13993 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101013 Mathematical logic
102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102030 Semantic technologies
102031 Theoretical computer science
603109 Logic

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-3-031-30823-9_22

Cite this

Heisinger, M., Seidl, M., & Biere, A. (2023). ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. In S. Sankaranarayanan, & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I (Vol. 13993, pp. 426-447). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13993 LNCS). Springer. https://doi.org/10.1007/978-3-031-30823-9_22

Heisinger, Maximilian ; Seidl, Martina ; Biere, Armin. / ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. editor / Sriram Sankaranarayanan ; Natasha Sharygina. Vol. 13993 Springer, 2023. pp. 426-447 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2673e241f264461fa08295f63013dd65,

title = "ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving",

author = "Maximilian Heisinger and Martina Seidl and Armin Biere",

year = "2023",

doi = "10.1007/978-3-031-30823-9\_22",

language = "English",

isbn = "9783031308222",

volume = "13993",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "426--447",

editor = "Sriram Sankaranarayanan and Natasha Sharygina",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I",

}

Heisinger, M , Seidl, M & Biere, A 2023, ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. in S Sankaranarayanan & N Sharygina (eds), Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. vol. 13993, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13993 LNCS, Springer, pp. 426-447. https://doi.org/10.1007/978-3-031-30823-9_22

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. / Heisinger, Maximilian ; Seidl, Martina; Biere, Armin.
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. ed. / Sriram Sankaranarayanan; Natasha Sharygina. Vol. 13993 Springer, 2023. p. 426-447 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13993 LNCS).

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

TY - GEN

T1 - ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

AU - Heisinger, Maximilian

AU - Seidl, Martina

AU - Biere, Armin

PY - 2023

Y1 - 2023

UR - https://www.scopus.com/pages/publications/85159624275

U2 - 10.1007/978-3-031-30823-9_22

DO - 10.1007/978-3-031-30823-9_22

M3 - Conference proceedings

SN - 9783031308222

VL - 13993

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 426

EP - 447

BT - Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I

A2 - Sankaranarayanan, Sriram

A2 - Sharygina, Natasha

PB - Springer

ER -

Heisinger M , Seidl M, Biere A. ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving. In Sankaranarayanan S, Sharygina N, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Vol. 13993. Springer. 2023. p. 426-447. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-30823-9_22

ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this