-
对称核心学习伪布尔优化隐式击中集补充材料
2025年12月20日 30 29 0
数据集概述 本数据集为论文《Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets》(CP 2025)的补充材料,包含实验数据、生成实例的脚本及实验所用求解器,为复现研究结果提供支持。 文件详解 文件名称: cp25-supplement.zip...
-
SNDlib_MIPs同构混合整数线性规划实例数据集
2025年12月14日 30 138 83
数据集概述 该数据集包含基于Survivable Network Design Library(SNDLib)构建的289个同构混合整数线性规划(MILP)实例,模型采用SOS约束替代big-M约束等优化设计,附完整模型说明文档。 文件详解 文件名称: mps-instances.zip 文件格式: ZIP压缩包 内容说明:...



