Benchmarks used for Approximate Model Counting
收藏Zenodo2024-01-01 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.10449476
下载链接
链接失效反馈官方服务：
资源简介：
These are the benchmark files that were used to check the performance of ApproxMC over the years. These benchmarks are the ones present in all ApprocMC papers so far.
提供机构：
Zenodo创建时间：
2024-01-01
