Model Counting Competition 2020: Full Instance Set
收藏数据链接：
官方服务：
资源简介：
The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters. For a more details, we refer to the report<br> Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.
提供机构：
Zenodo创建时间：
2020-11-27
