×
托拜厄斯·阿切特伯格；蒂莫·伯托尔德；托尔斯滕·科赫；卡蒂·沃尔特

约束整数规划：一种集成CP和MIP的新方法。 （英语） Zbl 1142.68504号

Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，6-20（2008）。
摘要：本文介绍了约束整数规划（CIP），这是一种结合约束规划（CP）和混合整数规划（MIP）方法的新方法。CIP是MIP的泛化，支持CP中的一般约束概念。该方法由CIP框架SCIP支持，SCIP还集成了SAT求解技术。SCIP有源代码，可免费用于非商业用途。
我们证明了CIP在两项任务中的有用性。首先，我们将约束整数规划方法应用于纯混合整数规划。计算实验表明，SCIP几乎可以与当前最先进的商业MIP求解器竞争。其次，我们使用CIP框架来解决芯片设计验证问题，这些问题涉及一些高度非线性的约束类型，纯MIP求解器很难处理这些约束类型。CIP方法在这里非常有效：它可以将完全复杂的MIP机制应用于问题的线性部分，同时通过使用约束编程技术处理非线性约束。
有关整个系列，请参见[Zbl 1136.68010号].

引用于30文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
90C27型 组合优化
90立方厘米 混合整数编程

软件：

MIPLIB公司；优化软件基准；SCIL公司；CPLEX公司；MIPLIB2003公司；SCIP公司；协和式飞机；SIMPL公司；超小卫星
PDF格式BibTeX公司 XML格式引用
\textit{T.Achterberg}等人，Lect。票据计算。科学。5015，6--20（2008；Zbl 1142.68504）
全文： 内政部

参考文献：

[1] Achterberg，T.，混合整数规划中的冲突分析，离散优化，4，1，4-20（2007）·Zbl 1169.90414号 ·doi:10.1016/j.disopt 2006.10.006
[2] Achterberg，T.：约束整数规划。柏林理工大学博士论文（2007年），http://opus.kobv.de/tuberlin/volltexte/2007/1611/ ·Zbl 1430.90427号
[3] Achterberg，T。；科赫，T。；Martin，A.，《重新审视分支规则》，《运营研究快报》，33，42-54（2005）·Zbl 1076.90037号 ·doi:10.1016/j.orl.2004.04.002
[4] Achterberg，T。；科赫，T。；Martin，A.，MIPLIB 2003，《运营研究快报》，34，4，1-12（2006）·Zbl 1133.90300号 ·doi:10.1016/j.orl.2005.07.009
[5] Althaus，E。；Bockmayr，A。；Elf，M。；Jünger，M。；Kasper，T。；Mehlhorn，K。；Möhring，R.H。；Raman，R.，SCIL-整数线性规划中的符号约束，算法-ESA 2002，75-87（2002），海德堡：施普林格，海德伯格·Zbl 1019.90515号 ·doi:10.1007/3-540-45749-6_11
[6] 安德烈洛，G。；卡普拉拉。；Fischetti，M.，嵌入（{0，frac{1}{2}）-在分支和切割框架中的切割：计算研究，《计算信息杂志》，19，2，229-238（2007）·Zbl 1241.90181号 ·doi:10.1287/ijoc.1050.0162
[7] Applegate，D.L。；比克斯比，R.E。；查塔尔，V。；库克，W.J.，《旅行推销员问题》（2006），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 1130.90036号
[8] Apt，K.R.，《约束编程原理》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1187.68132号
[9] 阿隆，I.D。；胡克，J.N。；Yunes，T.H。；雷金，J.-C。；Rueher，M.，SIMPL:集成优化技术的系统，AI和OR技术在组合优化问题约束编程中的集成，21-36（2004），海德堡：Springer，Heidelberg·Zbl 1094.68636号
[10] Balas，E.，《背包多边形的面》，《数学规划》，第8期，第146-164页（1975年）·Zbl 0316.90046号 ·doi:10.1007/BF01580440
[11] 巴拉斯，E。；Ceria，S。；Cornuéjols，G.，《在分支框架中通过lift-and-project进行混合0-1编程》，《管理科学》，421229-1246（1996）·Zbl 0880.90105号
[12] Berthold，T.：混合整数程序的原始启发式。柏林理工大学硕士论文（2006年）
[13] Berthold，T.：SCIP分支框架的启发。ZIB报告07-30，柏林祖斯研究所，2007年运营研究（即将发布，2007年）·Zbl 1209.90356号
[14] Bockmayr，A。；Kasper，T.，《分支与推断：整数与有限域约束编程的统一框架》，《计算信息杂志》，10，3，287-300（1998）·Zbl 1034.90517号
[15] Bockmayr，A.，Pisaruk，N.：通过结合IP和CP解决装配线平衡问题。摘自：ERCIM约束工作组第六届年度研讨会（2001年6月）
[16] Brinkmann，R.，Drechsler，R.：使用整数线性规划进行RTL数据路径验证。摘自：IEEE VLSI设计会议记录，第741-746页（2002）
[17] 用于运筹研究的计算基础设施，网址：http://www.coin-or.org
[18] 埃恩，n。；Sörensson，N。；Giunchiglia，E。；Taccella，A.，可扩展SAT解决方案，可满足性测试的理论与应用，502-518（2004），海德堡：斯普林格·Zbl 1204.68191号
[19] 福雷斯特，J.J。；赫斯特，J.P.H。；Tomlin，J.A.，用UMPIRE求解大规模混合整数规划问题，管理科学，20,5736-773（1974）·Zbl 0304.90079号
[20] Fügenschuh，A.，Martin，A.：计算整数编程和切割平面。摘自：Aardal，K.、Nemhauser，G.L.、Weismantel，R.（编辑）《离散优化》。《运筹学和管理科学手册》，第2章，第12卷，第69-122页。Elsevier，阿姆斯特丹（2005）·Zbl 1278.90269号
[21] Gomory，R.E.：解决整数的线性规划问题。收录：Bellman，R.，Hall，J.M.（编辑）组合分析，应用数学X专题讨论会，第211-215页，普罗维登斯，RI，美国数学学会（1960）·Zbl 0096.14505号
[22] 胡克，J.N。；Osorio，M.A.，混合逻辑/线性规划，离散应用数学，96-97，1395-442（1999）·兹比尔0945.90031 ·doi:10.1016/S0166-218X（99）00100-6
[23] ILOG CPLEX公司。参考手册，http://www.ilog.com/products/cplex网站
[24] 国际半导体技术路线图（2005年），http://public.itrs.net
[25] Jain，V。；Grossmann，I.E.，一类优化问题的混合MILP/CP模型算法，《计算信息杂志》，13，4，258-276（2001）·Zbl 1238.90106号 ·doi:10.1287/ijoc.13.4.258.9733
[26] 约翰逊，E.L。；Padberg，M.W.，二度不等式，团面和双完全图，离散数学年鉴，16，169-187（1982）·Zbl 0523.52009号
[27] Klar，A.：混合整数规划中的切割平面。柏林理工大学硕士论文（2006年）
[28] Letchford，A.N。；Lodi，A.，《加强Chvátal-Gomory削减和Gomory分数削减》，《运营研究快报》，30，2，74-82（2002）·Zbl 1027.90062号 ·doi:10.1016/S0167-6377（02）00112-8
[29] Marchand，H.：混合背包集的多面体研究及其在求解混合整数程序中的应用。卢万天主教大学应用科学系博士论文（1998年）
[30] 马尚德，H。；马丁。；魏斯曼特尔，R。；Wolsey，L.A.，整数和混合整数规划中的切割平面，离散应用数学，123/1243940（2002）
[31] Marques-Silva，J.P。；Sakallah，K.A.，GRASP:命题可满足性的搜索算法，IEEE计算机事务，48，506-521（1999）·Zbl 1392.68388号 ·数字对象标识代码：10.1109/12.769433
[32] Mittelmann，H.：优化软件的决策树：优化软件基准，http://plato.asu.edu/bench.html
[33] 纳姆豪泽，G.L。；Wolsey，L.A.，《整数与组合优化》（1988），奇切斯特：John Wiley&Sons，奇切斯·Zbl 0652.90067号
[34] 开放式核心，http://www.opencores.org
[35] Padberg，M.W。；van Roy，T.J。；Wolsey，L.A.，固定费用问题的有效不等式，运筹学，33，41842-861（1985）·Zbl 0579.90072号 ·doi:10.1287/opre.33.4.842
[36] 雷法洛，P。；Jaffar，J.，紧密合作及其在分段线性优化中的应用，约束规划的原理和实践-CP’99375-389（1999），海德堡：施普林格，海德堡
[37] 罗德斯克，R。；Wallace，M.G。；Hajian，M.T.，《混合整数规划与约束逻辑规划集成的新方法》，运筹学年鉴，86，1，63-87（1999）·Zbl 0918.90109号 ·doi:10.1023/A:1018904229454
[38] Savelsbergh，M.W.P.，混合整数规划问题的预处理和探测技术，ORSA计算杂志，6445-454（1994）·Zbl 0814.90093号
[39] Stallman，R.M。；Sussman，G.J.，计算机辅助电路分析系统中的正向推理和依赖定向回溯，人工智能，9135-196（1977）·Zbl 0372.94024号 ·doi:10.1016/0004-3702（77）90029-7
[40] Timpe，C.，用组合整数和约束规划解决规划和调度问题，OR Spectrum，24，4，431-448（2002）·Zbl 1028.90017号 ·doi:10.1007/s00291-002-0107-1
[41] Wolter，K.：混合整数程序的割平面分隔符的实现。柏林理工大学硕士论文（2006年）
[42] Wunderling，R.：并行与对象定向器单纯形算法。柏林理工大学博士论文（1996年）·Zbl 0871.65048号
[43] Zhang，L.，Madigan，C.F.，Moskewicz，M.W.，Malik，S.：布尔可满足性求解器中的高效冲突驱动学习。收录于：ICCAD，第279-285页（2001年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。