Crafted optimization instances in OPB format.
<p>Crafted optimization instances in OPB format, inspired by (Elffers et al. 2018; Vinyals et al. 2018), but generated with larger parameters so as to be more challenging, and allow us to “stress-test” the solvers by exposing them to problems that provably require sophisticated reasoning.</p> <p>- Elffers, J.; Giráldez-Cru, J.; Nordström, J.; and Vinyals, M. 2018. Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers.<br> - Vinyals, M.; Elffers, J.; Giráldez-Cru, J.; Gocht, S.; and Nordström, J. 2018. In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving.</p>
ShareScore
8/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
- 0
- Reuse readiness
- 0
- Engagement
- 0
ScienceDex for faculty
Your academic CV and NIH biosketch
Make your CV in your school's format and your NIH biosketch from it, then download both as Word files.