[PlanetKR] QBF Gallery: Call for Solvers, Benchmarks, and Related Tools

[Martina Seidl]

-----------------------

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.


---------------
DETAILS
---------------

For details on the competition and instructions on how to submit,
visit the QBF Gallery Webpage at

http://qbf.satisfiability.org/gallery


---------------
IMPORTANT DATES
---------------

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


---------------
CONTACT
---------------

For any questions, please contact  qbfgallery2014 at easychair.org.