zenodoopen
Dataset for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
<p>The dataset consists of</p> <p>(1) Benchmark files<br> (2) the logfile (outputs) generated by ApproxMC4 and ApproxMC5 respectively</p> <p>(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. </p> <p>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.</p>
ShareScore
28/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 0
- Engagement
- 0