Logic List Mailing Archive

MC 2020: 1st International Competition on Model Counting, Deadline for benchmarks: 5 Mar 2020

*Call for Benchmarks*

*The 1st International Competition on Model Counting (MC
2020)http://mccompetition.org/ <http://mccompetition.org/>*

The Model Counting Competition MC 2020 invites submission of collections of
(weighted) model counting instances in the standard DIMACS-based submission
formats as given at the competition tracks.


*Submission Procedure*
*==================*
A benchmark submission should consist of a single zip or gzipped tar
package, containing the instance files and a description of the benchmarks.
Please use appropriate file naming conventions, where suited. Ideally, each
instance file name should contain a short descriptive part for the problem
domain as well as the parameters used for generating the instance as
applicable. The benchmark description must be submitted as PDF. The
description should include author information with affiliations, a
description of the problem domains, a description of the parameters used
for generating the instances, and the file name convention. References
should be used as appropriate. The benchmark descriptions will be posted on
the MC 2020 website. Furthermore, the organizers are considering publishing
the collection of system and benchmark descriptions on arxiv. Please submit
benchmarks by email to benchmarks@mccompetition.org using the subject title
"MC 2020 benchmark submission" by *March 5, 2020, 23:59 AoE* the latest.


*MC 2020=======*
The 1st International Competition on Model Counting (MC 2020) is a
competition to deepen the relationship between latest theoretical and
practical development on the various model counting problems and their
practical applications. It targets the problem of counting the number of
models of a Boolean formula.

MC 2020 aims to identify new challenging benchmarks and to promote new
solvers for the problem as well as to compare them with state-of-the-art
solvers. The MC 2020 follows a direction in the community of constraint
solving, where already many competitions have been organized such as on ASP
(7 editions), CSP (19 editions), SAT (19 editions), SMT (14 editions),
MaxSAT Evaluation (13 editions), QBF (8 editions).

Model counting is very vibrant field that provided both recent advances in
theory as well as in practical solving including various applications.
State-of-the-art SAT or WMC (weighted model counting) search engines so far
rely on standard techniques from SAT-based solving, knowledge compilation,
or approximate solving by means of sampling using SAT solvers. There have
been also successful implementations for parallel and distributed
computation as well as massively parallel computation approaches.


*Organization==========*
Program Co-Chairs
     Markus Hecher (TU Wien, Vienna)
     Johannes K. Fichte (TU Dresden, Dresden)

DevOps
     Florim Hamiti (TU Dresden, Dresden)

Evaluation Plattform / optil.io
     Szymon Wasik (Poznan University of Technology, Poznan)

Results will be presented at the SAT 2020 conference
<https://sat2020.idea-researchlab.org/competitions/>.

*Sponsors*
*========*
On behalf of the Program Committee of MC 2020, we invite you to participate
in the sponsoring of metals and travel support for the winners.
data-experts <http://data-experts.de> already announced sponsoring for MC
2020.
--
[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