Dataset for On the Sparsity of XORs in Approximate Model Counting (SAT-20 Paper)
收藏数据链接：
官方服务：
资源简介：
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". <br> <br> 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.
提供机构：
Zenodo创建时间：
2020-05-06
