QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games
Mikoláš Janota, Charles Jordan, William Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder · Journal on Satisfiability Boolean Modeling and Computation · 2016
The QBF Gallery 2014 was a competitive evaluation for QBF solvers organized as part of the FLoC 2014 Olympic Games during the Vienna Summer of Logic. The QBF Gallery 2014 featured three different tracks on formulas in prenex conjunctive normal form (