F. Lonsing: "Search-Based QBF Solving"; Vortrag: Advanced Winter School on Reasoning Engines for Rigorous System Engineering, Johannes Kepler University, Linz; 03.02.2014 - 07.02.2014.
Projektleitung Uwe Egly: Quantified Boolean Formulas