GET IN TOUCH
MC 2020

Model Counting Competition (MC-2020)

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 (DS) – Submission Track 1+2
  • June 13th, 2020 (AoE): – Deadline (DS) – Submission Track 3
  • June 13th, 2020 (AoE): – Deadline (DD) – Submission of a solver description via Easychair

Tracks

  • Track 1: Model Counting
  • Track 2: Weighted Model Counting
  • Track 3: Projected Model Counting (NEW: upon multiple requests)

Submission

Detailed Submission information.


Model Counting Workshop (MCW-2020@SAT)

Important Dates

  • Abstract submission: May 14, 2020 (soft, submit ASAP)
  • Paper submission deadline: May 30, 2020
  • Notification to authors: June 22, 2020
  • Final version due: June 25, 2020
  • Online Workshop: July 9, 2020

Submission

Detailed Submission information.