F. Lonsing: "Evaluating QBF Solvers: Quantifier Alternations Matter"; Talk: Alpine Verification Meeting, Visegrad, Hungary; 2017-09-18 - 2017-09-21.
Project Head Uwe Egly: Quantified Boolean Formulas