QBFEVAL'18 - Competitive Evaluation of QBF Solvers Preliminary Call for Participation
Preliminary Call for Participation
Competitive Evaluation of QBF Solvers (QBFEVAL'18)
A joint event with Federated Logic Conference (FLoC) 2018
Oxford, UK | 6 - 19 July 2018\
QBFEVAL'18 will be the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 will award solvers that stand out as being particularly effective on specific categories of QBF instances.
We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools.
Details about solvers and benchmarks submission, tracks, and related rules will be soon available. In the meanwhile, we encourage people to join discussions at https://groups.google.com/forum/#!forum/qbfeval18
Important Dates
- Registration open: March 1st 2018
- Registration close: April 22nd 2018
- Solvers and Benchmarks due: April 30th 2018
- Final results: presented at FLoC 2018
Organization
- Luca Pulina, University of Sassari
- Martina Seidl, Johannes Kepler Universitat Linz
Judges
- Olaf Beyersdorff, University of Leeds
- Christoph Wintersteiger, Microsoft Research Limited