Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016

Florian Lonsing; Martina Seidl

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016

Florian Lonsing (Herausgeber*in)
, Martina Seidl (Herausgeber*in)

Institut für Formale Modelle und Verifikation

Publikation: Buch › Sammelwerk

Originalsprache	Deutsch (Österreich)
Verlag	CEUR-WS.org
Band	1719
Publikationsstatus	Veröffentlicht - 2016

Publikationsreihe

Name	CEUR Workshop Proceedings

Wissenschaftszweige

102 Informatik
102001 Artificial Intelligence
102011 Formale Sprachen
102022 Softwareentwicklung
102031 Theoretische Informatik
603109 Logik
202006 Computer Hardware

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dieses zitieren

@book{45763b7b24204ab093914e7d07ec334c,

title = "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016",

editor = "Florian Lonsing and Martina Seidl",

year = "2016",

language = "Deutsch ({\"O}sterreich)",

volume = "1719",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

}

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. / Lonsing, Florian (Herausgeber*in); Seidl, Martina (Herausgeber*in).
CEUR-WS.org, 2016. (CEUR Workshop Proceedings).

Publikation: Buch › Sammelwerk

TY - BOOK

T1 - Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016

A2 - Lonsing, Florian

A2 - Seidl, Martina

PY - 2016

Y1 - 2016

M3 - Sammelwerk

VL - 1719

T3 - CEUR Workshop Proceedings

BT - Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016

PB - CEUR-WS.org

ER -