Crafted optimization instances in OPB format
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/4036015
下载链接
链接失效反馈官方服务：
资源简介：
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, allowing to “stress-test” combinatorial solvers by exposing them to problems that provably require sophisticated reasoning.
- 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.
- 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.
创建时间：
2020-09-19
