Benchmarks for Model Counting and Knowledge Compilation
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/meelgroup/KCBox
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个包含1114个来自不同应用领域的基准测试的全面集合，旨在评估模型计数和知识编译技术。这些基准数据来源于多个站点，包括CRIL、GitHub仓库以及SATLIB。所涉及的任务包括模型计数和均匀采样。
This dataset is a comprehensive collection of 1,114 benchmark tests from diverse application domains, designed to evaluate model counting and knowledge compilation techniques. These benchmarks are sourced from multiple platforms, including CRIL, GitHub repositories, and SATLIB. The tasks covered include model counting and uniform sampling.
提供机构：
Various sources as listed in the paper
