28 Aug - 1 Sep 2017
Melbourne, Australia
****************************************************************** 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@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@uniss.it http://sites.google.com/site/lpulina -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam