zenodoopen
Data for An Approximate Skolem Funcion Counter (AAAI-24 paper)
<div> <p>The artifact consists of the necessary data to reproduce the results reported in the AAAI-24 Paper titled "An Approximate Skolem Funcion Counter." <br><br>In particular, the artifact consists of the benchmarks, the log files generated on our computing cluster.</p> <p> </p> </div>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0