zenodoopen
Large Uniform Random SAT Samples
<p>Large Random SAT samples generated with the following <em>samplers</em>:</p> <ul> <li>BDDSampler</li> <li>Spur</li> <li>QuickSampler </li> <li>KUS</li> <li>Unigen2</li> <li>Smarch </li> </ul>
ShareScore
40/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
- 20
- Reuse readiness
- 4
- Engagement
- 4