F. Lonsing: "Incremental QBF Solving"; Talk: Alpine Verification Meeting, Frejus, Frankreich; 2014-05-12 - 2014-05-14.
Project Head Uwe Egly: Quantified Boolean Formulas