MC 2023

Model Counting (MC-2024)

Competition Tracks

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

Important Dates (Tentative)

  • Feb 11: Call for Benchmarks, Participation
  • Mar 30: Benchmark Submission Deadline
  • Apr 30: Public Instance Publication
  • May 30: Solver Submission Deadline
  • Jun 30: Notification of public results
  • Jul 15: Notification of private results
  • Jul 30: Comments Deadline by Participants
  • Aug 24: Result Declaration at SAT Conf.


Register an Account with StarExec. We will give you access and you will be able to upload your solver there. Also, please register in this form.

Workshop on Counting and Sampling

To be updated soon.