Dataset for On the Sparsity of XORs in Approximate Model Counting (SAT-20 Paper)
收藏NIAID Data Ecosystem2026-03-11 收录
数据链接：
官方服务：
资源简介：
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
