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