Dataset for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/3766167
下载链接
链接失效反馈官方服务：
资源简介：
The dataset consists of
(1) Benchmark files
(2) the logfile (outputs) generated by ApproxMC4 and ApproxMC5 respectively
(3) A summary of the results for the files where at least one of ApproxMC4 or ApproxMC5 did not time out and took more than 1 second.
The corresponding paper titled "Scalable Approximate Model Counting via Concentrated Hashing]{Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice" will appear in the Proceedings of Logic in Computer science(LICS), 2020.
创建时间：
2020-05-06
