GET IN TOUCH
MC 2020

Model Counting (MC-2021)

Tracks

  • Track 1: Exact Model Counting
  • Track 2: Exact Weighted Model Counting
  • Track 3: Projected Model Counting

Important Dates (preliminary)

January 10, 2021: Announcement of the challenge (Tracks)

  • January 26, 2021: Announcement of the challenge (Tracks)
  • February 24, 2021: Format Description Online
  • February 21, 2021: Call for Benchmarks
  • March 19, 2021: Benchmarks (submit ASAP)
    Please use the Google Form
  • March 25, 2021: Intent to Participate
    Please use the Google Form
  • April 15, 2021: Public Instances are available
  • April 16, 2021: Submission of the Solvers open (Feedback Phase starts)
  • May 7, 2021: Last Update to submissions (End of Feedback Phase)
  • May 17, 2021: Evaluation Phase starts
  • May 30, 2021: Submissions + Descriptions (Zenodo)
    Please use the Google Form
  • Presentation of the Results: July X, 2021 (depending on the SAT Conference)

Submission

Register an Account with StarExec. We will give you access and you will be able to upload your solver there.


Model Counting Workshop (MCW-2021@SAT)

Important Dates (preliminary)

  • June 1, 2021: Abstract submission deadline
  • June 10, 2021: Notification to authors
  • June 12, 2021: Program available on the workshop website
  • July 6, 2021: Online Workshop. Time late afternoon CEST (details tba).

Submission