Model Counting Competition 2024: Submitted Solvers
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/14249108
下载链接
链接失效反馈官方服务：
资源简介：
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2024 on the tracks:
Track 1 (Model Counting)
Track 2 (Weighted Model Counting)
Track 2b (Weighted Model Counting Bonus Track)
Track 3 (Projected Model Counting)
Track 4 (Projected Weighted Model Counting)
Details will be made public in an upcoming report.
We also refer to the competition website: https://mccompetition.org/
创建时间：
2024-11-30
