格雷格·奥托森;托尔斯泰森（Thorsteinson），Erlendur S。;约翰·胡克（John N.Hooker）。 混合CLP–IP解算器中的混合全局约束和推理。 （英语） Zbl 1026.90062号 安。数学。Artif公司。智力。 34，第4期，271-290（2002）. 摘要：约束（逻辑）编程（CLP）和混合整数编程（IP）的互补优势最近受到了极大的关注。尽管各种优化和约束编程包乍一看似乎支持混合模型，但所封装的建模和解决方案技术仍然是初级的。除了交换变量和目标的边界外，人们对什么是好的混合模型以及混合求解器如何利用推理和松弛的互补优势知之甚少。本文通过将约束识别为CLP和IP之间的基本链接，增加了这一领域，并介绍了一种通过这些约束进行双向推理的算法。结合新的混合求解器搜索策略和切割生成的混合全局约束，与传统IP代码和新的混合解算器相比，求解速度都有所提高。 引用于4文件 MSC公司： 90立方厘米 混合整数编程 90C05（二氧化碳） 线性规划 90C27型 组合优化 关键词：混合整数规划;约束逻辑程序设计;集成;混合全球限制;动态线性松弛;推理 软件：CPLEX公司;AMPL公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Ottosson}等人，《数学年鉴》。Artif公司。智力。34，第4号，271--290（2002；Zbl 1026.90062） 全文： 内政部 参考文献： [1] Balas，E.：析取编程。离散优化II，5，阿姆斯特丹，3-51（1979）·Zbl 0409.90061号 [2] H.Beringer和B.De Backer。约束逻辑规划中的组合问题求解与协同求解。C.Beierle和L.Pliimer主编，《逻辑编程：形式方法和实际应用》，《计算机科学和人工智能研究》，第8章，第245-272页。爱思唯尔，1995年·兹比尔0939.68580 [3] 博克梅尔，A。；Kasper，T.：分支与推断：整数与有限域约束编程的统一框架。INFORMS J.计算10，第3期，287-300（1998）·Zbl 1034.90517号 [4] 托马斯·科尔曼（Thomas H.Cormen）。；查尔斯·雷瑟森（Charles E.Leiserson）。；Rivest，Ronald L.：算法简介。(1990) ·Zbl 1158.68538号 [5] CPLEX公司。CPLEX手册，1998年。统一资源定位地址http://www.cplex.com。 [6] H.El Sakkout、T.Richards和M.Wallace。动态调度中的最小扰动。在Prade[15]中，第504-508页。 [7] S.海普克。将约束编程技术集成到数学编程中。在Prade[15]中，第259-260页。 [8] Van Hentenryck，Pascal:OPL优化编程语言。(1999) ·Zbl 0942.68550号 [9] J.N.胡克。基于逻辑的优化方法。阿兰·博宁（Alan Borning）主编，《约束编程原理与实践》（Principles and Practice of Constraint Programming），《计算机科学讲义》第874卷。斯普林格，1994年5月。（PPCP’94：第二次国际研讨会，美国西雅图奥卡斯岛）。 [10] J.N.Hooker和M.A.Osorio。混合逻辑/线性规划。离散应用数学，即将出版，1997年·Zbl 0945.90031号 [11] John N.Hooker、Hak-Jin Kim和Greger Ottosson。集成解决方案方法的声明性建模框架。《运筹学年鉴》，建模语言和方法专刊，1998年出版·Zbl 1008.90060号 [12] John N.Hooker、Greger Ottosson、Erlendur S.Thorsteinsson和Hak-Jin Kim。关于组合优化中约束传播和线性规划的集成。《第十六届全国人工智能会议记录》（AAAI-99），第136-141页。AAAI，AAAI出版社/麻省理工学院出版社，1999年7月。 [13] John N.Hooker、Greger Ottosson、Erlendur S.Thorsteinsson和Hak-Jin Kim。一种统一优化和约束规划的方案。《知识工程评论》，AI/OR专刊，提交日期：1999年·兹比尔0990.90544 [14] Kim万豪酒店；Stuckey，Peter J.：《带约束的编程：导论》。(1998) ·Zbl 0935.68098号 [15] 亨利·普拉德，编辑。第13届欧洲人工智能会议记录（ECAI-98）。John Wiley k Sons，1998年。 [16] 福勒，R。；盖伊，D.M。；Kernighan，B.W.：AMPL——数学编程的建模语言。(1993) ·Zbl 0701.90062号 [17] 罗伯特·罗德塞克（Robert Rodosek）；马克·华莱士；Hajian，Mozafar:一种新的集成混合整数规划和约束逻辑规划的方法。Baltzer期刊（1997）·Zbl 0918.90109号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。