Public Resources

• StarExec Community,
• Reference: When refering to the competition in an academic paper please use one of the following:
  • The Model Counting Competition
  • Model Counting Competition 2023: Competition Instances
  • Model Counting Competition 2022: Competition Instances
  • Model Counting Competition 2021: Competition Instances
  • Model Counting Competition 2020: Competition Instances

Model Counting (MC-2023)

Competition

Part of SAT 2023

• Tracks: Model Counting, Weighted Model Counting, Projected Model Counting, Projected Weighted Model Counting
  (description, StarExec Community, format, winners)

Workshop on Counting and Sampling

• Workshop 2023 (in person event)
  (program)

Model Counting (MC-2022)

Competition

Part of FLoC Olympic Games

• Tracks: Model Counting, Weighted Model Counting, Projected Model Counting, Projected Weighted Model Counting
  (description, StarExec Community, format, winners, report [tba], slides, solvers, competition instances, submitted benchmarks [on request])

Workshop on Counting and Sampling

• Workshop 2022 (in person event)
  (program, abstracts, slides)

Model Counting (MC-2021)

Competition

• Tracks: Model Counting, Weighted Model Counting, and Projected Model Counting
  (description, StarExec Community, format, winners, report [tba], slides, solvers, competition instances, submitted benchmarks [on request])

Workshop on Counting and Sampling

• Workshop 2021
  (program, abstracts, slides , recordings)

Model Counting (MC-2020)

Competition

• Tracks: Model Counting, Weighted Model Counting, and Projected Model Counting
  (description, format, winners, report, slides, solvers, competition instances, submitted benchmarks)

Workshop

• Workshop 2020
  (program, abstracts, slides , recordings)