Vol-1719
urn:nbn:de:0074-1719-2




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|