F. Lonsing, U. Egly: "Evaluating QBF Solvers: Quantifier Alternations Matter"; 2017; 23 S.
http://publik.tuwien.ac.at/files/publik_265550.pdf
Projektleitung Uwe Egly: Quantified Boolean Formulas