CALL FOR CONTRIBUTIONS QBF Gallery 2014 http://qbf.satisfiability.org/gallery Competition affiliated with FLoC Olympic Games 2014, http://vsl2014.at/olympics/ SAT 2014 conference, http://baldur.iti.kit.edu/sat2014/ QBF 2014 workshop, http://vsl2014.at/qbf/ at the Vienna Summer of Logic 2014, July 14 - 17, 2014 http://vsl2014.at
The QBF Gallery 2014 is a competitive event to evaluate the state-of-the-art in QBF solving.
The QBF Gallery 2014 invites submissions of competing QBF solvers (PCNF as well as non-PCNF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers.
For details on the competition and instructions on how to submit, visit the QBF Gallery Webpage at
2014-04-15: final submission of PCNF solvers
2014-04-30: final submission of non-PCNF solvers, any tools, and benchmarks
April, May, June 2014: evaluation runs
2014-07-13: presentation of results at the QBF 2014 Workshop
For any questions, please contact firstname.lastname@example.org.