我们提出了一种新颖的并行 MIP 求解框架，该框架在分治范式中采用动态任务分解。我们的框架包含一个难度估计启发式方法来识别具有挑战性的求解任务，以及一个奖励衰减机制来强化任务分解决策。我们将我们的框架应用于两个最先进的开源 MIP 求解器 SCIP 和 HiGHS，从而产生了高效的并行求解器。在完整的 MIPLIB 基准测试集上，使用多达 128 个核心进行的广泛实验表明，与现代分治并行求解器相比，我们的框架带来了显著的性能改进。此外，我们的并行求解器为多个开放的 MIPLIB 实例找到了新的最优解。

报告人简介：林鹏，中国科学院大学硕博连读研究生，培养单位为软件研究所，导师为蔡少伟研究员，研究方向为混合整数规划的求解与应用。