GET IN TOUCH
MC 2025

Model Counting (MC-2025)

Important Dates

  • Mar 20: Call for Benchmarks and Participation
  • Apr 16: Benchmark Submission Deadline
  • May 26: Public Instance Publication
  • May 30: Solver Submission Deadline
  • Jul 2: Notification of public results
  • Jul 16: Notification of private results
  • Jul 30: Comments Deadline by Participants
  • Aug 14: Result Presentation at SAT Conference (expected)

Submission

Please register


Workshop on Counting, Sampling, and Synthesis

tbd

Submission

tbd