GET IN TOUCH
MC 2020

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

Model Counting Competition