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