Dataset for On the Sparsity of XORs in Approximate Model Counting (SAT-20 Paper)
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/3792747
下载链接
链接失效反馈官方服务：
资源简介：
The artifact consists of the necessary data to reproduce the results reported in the SAT-20 Paper titled "On the Sparsity of XORs in Approximate Model Counting".
In particular, the artifact consists of the binaries, the log files generated by our computing cluster, and scripts to generate tables and the plots used in the paper.
创建时间：
2020-05-13
