Model Counting (MC-2025)

Competition Tracks (tba)

• Track 1: Model Counting
• …
• tba

Important Dates

• Nov 30, 24: Call for Benchmarks, Participation
• Mar 28: Benchmark Submission Deadline
• Apr 25: Public Instance Publication
• Jun 11: 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

TBA Please register in this form.

Workshop on Counting, Sampling, and Synthesis

Submission

tbd