M. Janota, C. Jordan, W. Klieber, F. Lonsing, M. Seidl, A. Van Gelder:
"The QBF Gallery 2014: The QBF Competition at the FLoC Olympic Games";
Journal on Satisfiability, Boolean Modeling and Computation, 9 (2016), 187 - 206.
http://publik.tuwien.ac.at/files/publik_256290.pdf
Project Head Uwe Egly:
Quantified Boolean Formulas