Model Counting Competition 2021: Full Instance Set
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/10006440
下载链接
链接失效反馈官方服务：
资源简介：
The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2021. The dataset includes short benchmark descriptions (00_description.{pdf,txt,md}) by the submitters/collectors (00_authors.txt).
For a more details, we refer to the upcoming reportFichte, Hecher: The Model Counting Competition 2021-2023.
Contributors are listed in the dataset or in the report.
创建时间：
2024-02-16
