Model Counting Competition 2020: Submitted Solvers
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/4292580
下载链接
链接失效反馈官方服务：
资源简介：
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020 on the tracks:
- Track 1 (Model Counting)- Track 2 (Weighted Model Counting)- Track 3 (Projected Model Counting)
Details will be made public in the publication "The Model Counting Competition 2020" by Fichte, Hecher, and Hamiti. Due to numerous names, we omit authors of the solvers from the meta information of this dataset. We refer to the aforementioned report for details.
We also refer to the competition website: https://mccompetition.org/
Changelist:
2023-10-21 (v2): We updated wrappers to take the more recent competition format (MC2021 format), which is DIMACS CNF compatible.
创建时间：
2024-02-15
