The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games
Sprache des Titels:
Englisch
Original Kurzfassung:
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
(PCNF) including more than 1200 formulas to be solved. Gold, silver, and bronze track
medals were awarded to the solvers that solved the most formulas in each of the three
tracks. Additionally, the three participants that were most successful over the complete
benchmark set were awarded with Kurt Gödel medals, the official prizes of the FLoC 2014
Olympic Games.
In this paper, we give an overview of the setup and rules of the competition, briefly
review the participating solvers, and finally report on the results of the QBF Gallery 2014.
Sprache der Kurzfassung:
Englisch
Journal:
Journal on Satisfiability, Boolean Modeling and Computation
Veröffentlicher:
IOS Press
Volume:
9
Seitenreferenz:
187-206
Erscheinungsjahr:
2016
ISSN:
1875-5011
Anzahl der Seiten:
20
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift
Forschungs-