F. Lonsing: "Submissions to QBFEVAL'16"; Talk: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 2016-07-04.
Project Head Uwe Egly: Quantified Boolean Formulas