[DL] QBFEVAL'17 - Preliminary Call for Benchmarks

[Luca Pulina]

[apologies for any cross-posting]

******************************************************************
QBFEVAL'17 - Competitive evaluation of QBF solvers
http://www.qbflib.org/qbfeval17.php

Preliminary Call for Benchmarks

A joint event with SAT 2017 - The 20th International Conference on 
Theory and Applications of Satisfiability Testing, 28 August - 1 
September 2017, Melbourne, Australia

******************************************************************


QBFEVAL'17 will be the 2017 competitive evaluation of QBF solvers, and 
the twelfth evaluation of QBF solvers and instances ever. QBFEVAL'17 
will award solvers that stand out as being particularly effective on 
specific categories of QBF instances.

People 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. Instances can be submitted in QDIMACS 1.1 input format 
(http://www.qbflib.org/qdimacs.html) and/or in QCIR input format 
(http://qbf.satisfiability.org/gallery/qcir-gallery14.pdf).

The deadline for benchmarks submission is May 15th 2017.

For details, questions, comments and any other issue regarding 
QBFEVAL'17, please get in touch with qbf17 at qbflib.org.




Organizing committee

Organization
Luca Pulina, University of Sassari
Martina Seidl, Johannes Kepler Universität Linz

Judges
Olaf Beyersdorff, University of Leeds
Daniel Le Berre, Université d'Artois
Christoph Wintersteiger, Microsoft Research Limited


-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail lpulina at uniss.it
http://sites.google.com/site/lpulina