Parallel Solving of Quantified Boolean Formulas

Florian Lonsing; Martina Seidl

doi:10.1007/978-3-319-63516-3_4

Parallel Solving of Quantified Boolean Formulas

Florian Lonsing
, Martina Seidl

Institute of Formal Models and Verification

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

Original language	English
Title of host publication	Handbook of Parallel Constraint Reasoning.
Editors	Youssef Hamadi and Lakhdar Sais
Place of Publication	Cham
Publisher	Springer
Pages	101-139
Number of pages	39
ISBN (Electronic)	9783319635163
ISBN (Print)	9783319635156
DOIs	https://doi.org/10.1007/978-3-319-63516-3_4
Publication status	Published - 05 Apr 2018

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-319-63516-3_4

Cite this

@inbook{966078d547324fd7a9876ce6b5b198e2,

title = "Parallel Solving of Quantified Boolean Formulas",

author = "Florian Lonsing and Martina Seidl",

year = "2018",

month = apr,

day = "5",

doi = "10.1007/978-3-319-63516-3\_4",

language = "English",

isbn = "9783319635156",

pages = "101--139",

editor = "\{Youssef Hamadi and Lakhdar Sais\}",

booktitle = "Handbook of Parallel Constraint Reasoning.",

publisher = "Springer",

}

TY - CHAP

T1 - Parallel Solving of Quantified Boolean Formulas

AU - Lonsing, Florian

AU - Seidl, Martina

PY - 2018/4/5

Y1 - 2018/4/5

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

U2 - 10.1007/978-3-319-63516-3_4

DO - 10.1007/978-3-319-63516-3_4

M3 - Chapter

SN - 9783319635156

SP - 101

EP - 139

BT - Handbook of Parallel Constraint Reasoning.

A2 - Youssef Hamadi and Lakhdar Sais, null

PB - Springer

CY - Cham

ER -

Parallel Solving of Quantified Boolean Formulas

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this