Model Counting Competition 2020: Submitted Solvers
收藏数据链接：
官方服务：
资源简介：
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020 on the tracks: - Track 1 (Model Counting)<br> - Track 2 (Weighted Model Counting)<br> - Track 3 (Projected Model Counting)<br> Details will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020). We also refer to the competition website: https://mccompetition.org/
提供机构：
Zenodo创建时间：
2020-11-27
