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 (Editor)
, Martina Seidl (Editor)

Institute of Formal Models and Verification

Research output: Book › Anthology

Original language	German (Austria)
Publisher	CEUR-WS.org
Volume	1719
Publication status	Published - 2016

Publication series

Name	CEUR Workshop Proceedings

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

Cite this

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

}

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 -