caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Luca Pulina <lpulina@uniss.it>
To: caml-list@inria.fr
Subject: [Caml-list] QBFEVAL'20 - Competitive Evaluation of QBF Solvers
Date: Wed, 26 Feb 2020 18:06:24 +0100	[thread overview]
Message-ID: <9d2b9f58-a59c-a70e-7e4a-467429a7d758@uniss.it> (raw)

[apologies for any cross-posting]

********************************************************************************
QBFEVAL'20 - Competitive Evaluation of QBF Solvers
A joint event with the 23rd Int. Conference on Theory and Applications 
of Satisfiability Testing (SAT)
Alghero, Italy, July 5 - 9 2020
********************************************************************************


QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the 
fifteenth event aimed to assess the performance of QBF solvers. 
QBFEVAL'20 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'20, please 
get in touch with the organizers via qbfeval@qbflib.org. Details about 
solvers and benchmarks submission, tracks, and related rules, are 
available at http://www.qbflib.org/qbfeval20.php

*Important Dates*
Registration open: February 26, 2020
Registration deadline: April 19, 2020
Solvers and Benchmarks due: April 26, 2020
First stage results: May 3, 2020
Second stage solvers due: May 17, 2020
Competition Benchmarks available for download: July 1, 2020
Final results: presented at SAT'20


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


-- 

--
*Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 
00196350904

                 reply	other threads:[~2020-02-26 17:10 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=9d2b9f58-a59c-a70e-7e4a-467429a7d758@uniss.it \
    --to=lpulina@uniss.it \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).