MC 2023 (Model Counting 2020)

Tracks / Challenges

1. Model Counting (mc)
   Compute the number of satisfying assignments to a given CNF:
   Details for the track (Formats)
   

2. Weighted Model Counting (wmc)
   Compute the number of satisfying assignments to a given CNF:
   Details for the track (Formats)
   

3. Projected Model Counting (pmc)
   Compute the number of satisfying assignments to a given CNF:
   Details for the track (Formats)
   

Important Dates

• December 18th, 2019: Announcement of the challenge (Tracks)
• January 22nd, 2019: Call for Benchmarks
• March 15th, 2020 (AoE) / Extended: – Deadline – Benchmark Submission
• April 10th, 2020 (AoE) Format Testing possible for Model Counting, Weighted Model Counting and Projected Model Counting
• May 4th, 2020 (AoE): Optil System Open for Submissions for Model Counting and Weighted Model Counting
• June 8th, 2020 (AoE): – Deadline – Submission Track 1+2
• June 13th, 2020 (AoE): – Deadline – Submission Track 3
• June 13th, 2020 (AoE): – Deadline – Submission of a solver description via Easychair

Organization

Program Co-Chair

• Markus Hecher (TU Wien, Vienna)
• Johannes K. Fichte (TU Dresden, Dresden)

Student

• Florim Hamiti (TU Dresden, Dresden)

Scientific Partners

• Adnan Darwiche (University of California at Los Angeles)
• Arthur Choi (University of California at Los Angeles)
• Armin Biere (Johannes Kepler Universitat Linz)
• Kuldeep S. Meel (National University of Singapore)
• Markus Hecher (TU Wien)
• Johannes K. Fichte (TU Dresden)
• Marijn Heule (Carnegie Mellon University)
• Norbert Manthey
• Stefan Mengel (CNRS at Centre de Recherche en Informatique de Lens)
• Pierre Marquis (CNRS at Centre de Recherche en Informatique de Lens and Université d’Artois)
• Fahim Bacchus (University of Toronto)
• Vibhav Gogate (University of Texas at Dallas)

Evaluation Plattform / optil.io

Szymon Wasik (Poznan University of Technology, Poznan)

Sponsors

data-experts sponsored MC 2020.