[DL] QBFEVAL'19 - Competitive Evaluation of QBF Solvers

Luca Pulina lpulina at uniss.it
Mon Jan 21 21:42:13 CET 2019


[apologies for any cross-posting]

********************************************************************************
QBFEVAL'19 - Competitive Evaluation of QBF Solvers
A joint event with the 22nd Int. Conference on Theory and Applications of Satisfiability Testing (SAT)
Lisbon, Portugal, July 7 - 12 2019
********************************************************************************

QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the fourteenth evaluation of QBF solvers and instances ever. QBFEVAL'19 awards 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 representation & 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.

For questions, comments and any other issue regarding QBFEVAL'19, please get in touch with the organizers via qbfeval at qbflib.org <mailto:qbfeval at qbflib.org>. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval19.php <http://www.qbflib.org/qbfeval19.php>

*Important Dates*
Registration open: March 31
Registration close: April 7 
Solvers and Benchmarks due: April 14 
First stage results: April 30
Second stage solvers due: May 10
Competition Benchmarks available for download: June 14
Final results: presented at SAT'19

*Organization*
Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universitat Linz
Ankit Shukla, Johannes Kepler Universitat Linz



--
Prof. Luca Pulina
Intelligent systems design and applications (IDEA) Lab
University of Sassari
Tel. +39 079 228987
Mail lpulina at uniss.it <mailto:lpulina at uniss.it>
WWW http://idea.uniss.it <http://idea.uniss.it/>

-- 

--
*Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 
00196350904
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20190121/b5e53b9b/attachment.html>


More information about the dl mailing list