GET IN TOUCH
MC 2023

Model Counting (MC-2023)

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

TBA

Submission

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