对称核心学习伪布尔优化隐式击中集补充材料

数据集概述

本数据集为论文《Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets》（CP 2025）的补充材料，包含实验数据、生成实例的脚本及实验所用求解器，为复现研究结果提供支持。

文件详解

• 文件名称: cp25-supplement.zip
• 文件格式: ZIP (.zip)
• 文件内容: 压缩包内包含实验数据（运行时间和统计数据）、CC实例生成脚本、实验所用PBO-IHS求解器版本

适用场景

• 算法研究: 复现论文中伪布尔优化算法的实验结果
• 优化领域: 研究隐式击中集方法在伪布尔优化问题中的应用
• 学术验证: 验证对称核心学习技术的有效性
• 计算实验: 测试优化求解器在特定问题集上的性能表现