Parallel Solving of Quantified Boolean Formulas

Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung

Originalsprache	Englisch
Titel	Handbook of Parallel Constraint Reasoning.
Herausgeber*innen	Youssef Hamadi and Lakhdar Sais
Erscheinungsort	Cham
Verlag	Springer
Seiten	101-139
Seitenumfang	39
ISBN (elektronisch)	9783319635163
ISBN (Print)	9783319635156
DOIs	https://doi.org/10.1007/978-3-319-63516-3_4
Publikationsstatus	Veröffentlicht - 05 Apr. 2018

Wissenschaftszweige

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