Supplementary Data: VIPR Certificate Construction from Black-Box ILP Solvers
收藏DataCite Commons2026-05-06 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20057192
下载链接
链接失效反馈官方服务：
资源简介：
Experimental data and instance generators accompanying the paper "VIPR Certificate Construction from Black-Box ILP Solvers" (S. Szeider, CP 2026).
The archive contains
benchmark-result CSVs for three experiments — a generated benchmark suite (74 instances across four problem classes), a constraint-density sweep (21 multidimensional-knapsack instances), and the MIPLIB 2017 benchmark set (223 instances, referenced by name; the instances themselves are not included and are available from https://miplib.zib.de/);
the Python instance generators used to produce the four generated problem families.
Each CSV row gives one (instance, tool) measurement, recording certificate construction time and size, viprchk verification result and time, branch-and-bound nodes, and derivation counts.
The VORC source code is hosted separately at https://github.com/szeider/vorc.
提供机构：
Zenodo
创建时间：
2026-05-06
