混合整数规划在经济、供应链、通信、制造、 航空以及国防等领域有广泛的应用，发展快速有 效的混合整数规划求解器有利于解决我国工业 应用中的重要混合整数规划问题。CMIP 求解器 是中科院数学院自主研发的国产混合整数规划 求解器。它以分支定界——割平面为基本算法框 架，包含了分支策略、节点选择策略、预处理方 法、割平面方法、启发式方法五大主要模块，融 合了 CMIP 团队在预处理、割平面等方面的最新 研究成果。本次报告主要介绍 CMIP 求解器，并 以最大覆盖选址和航班调度等实际应用问题为 例介绍其性能效果。