Model Counting Competition (MC-2020)
Tracks
- Track 1: Exact Model Counting
- Track 2: Exact Weighted Model Counting
- Track 3: Projected Model Counting
Important Dates (perliminary)
- January 10th, 2021: Announcement of the challenge (Tracks)
- January 22nd, 2021: Call for Benchmarks
- Benchmarks: February 28, 2021 (soft, submit ASAP)
- Intent to Participate (Google Form): March 15, 2021
- Public Instances are available: March 30, 2021
- Final version due: April 30, 2021
- Solver descriptions (Easychair): May 30, 2021
- Presentation of the Results: July X, 2021 (depending on the SAT Conference)
Submission
tba
Model Counting Workshop (MCW-2020@SAT)
Important Dates (preliminary)
- Abstract submission: May 14, 2021 (soft, submit ASAP)
- Paper submission deadline: May 30, 2021
- Notification to authors: June 22, 2021
- Final version due: June 25, 2021
- Online Workshop: July X, 2021 (depending on the SAT conference)
Submission