caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION
@ 2019-04-07 16:13 Luca Pulina
  0 siblings, 0 replies; 1+ messages in thread
From: Luca Pulina @ 2019-04-07 16:13 UTC (permalink / raw)
  To: caml-list

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 
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 Details about 
solvers and benchmarks submission, tracks, and related rules, are 
available at

*Important Dates*
Registration open: March 31, 2019
Registration close: April 21, 2019
Solvers and Benchmarks due: April 30, 2019
First stage results: May 15, 2019
Second stage solvers due: May 30, 2019
Competition Benchmarks available for download: July 1, 2019
Final results: presented at SAT'19

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: 

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-07 16:13 [Caml-list] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION Luca Pulina

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox