F. Lonsing, M. Seidl (ed.): "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)"; CEUR-WS.org, 2016, ISSN: 1613-0073; 70 pages.
Project Head Uwe Egly: Quantified Boolean Formulas