Published May 6, 2020
| Version v1
Dataset
Open
Dataset for On the Sparsity of XORs in Approximate Model Counting (SAT-20 Paper)
Authors/Creators
- 1. IIT Kanpur
- 2. National University of Singapore
Description
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.
Files
Files
(136.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c122a515ab1239e03c5531befc6e380b
|
136.7 MB | Download |