QBF 2016
Quantified Boolean Formulas

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.

Edited by

Florian Lonsing *
Martina Seidl **

* Vienna University of Technology, Knowledge-Based Systems Group, 1040 Vienna, Austria
** Johannes Kepler University Linz, Institute for Formal Models and Verification, 4040 Linz, Austria

Table of Contents

2016-11-02: submitted by Martina Seidl, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-03: published on CEUR-WS.org |valid HTML5|