亚什·普兰尼克;尼古拉斯五世·萨希尼迪斯。 全局NLP和MINLP优化的域约简技术。 （英语） Zbl 1387.90164号 约束条件 22，第3号，338-376（2017）. 摘要：优化求解器通常使用预求解技术，包括模型简化、重新计算和域缩减技术。对于具有挑战性的非凸非线性规划（NLP）和混合整数非线性规划（MINLP）优化问题，区域约简技术在加快收敛到全局最优解方面尤为重要。在这项工作中，我们调查了用于NLP和MINLP优化问题的域约简的各种技术。我们还对这些技术对各种广泛可用的全局解算器在1740个测试问题集合上的性能的影响进行了计算分析。 引用于18文件 MSC公司： 90立方厘米 混合整数编程 90C26型 非凸规划，全局优化 关键词：约束传播;基于可行性的边界收紧;基于优化的边界收紧;域缩减 软件：CMU-IBM公司;Numerica公司;安提戈内;普林斯顿图书馆;coco_gop_ex公司;四重编程BB;糠;全球溶胶;并入PT_90;MINL库;目标;质量策划（QP）;男爵;GAMS游戏;SCIP公司;薄荷糖;国际博协;优化软件基准;林多;全球图书馆;椰子;AMPL公司;LINDO全球 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Puranik｝和\textit｛N.V.Sahinidis｝，约束条件22，第3号，338-376（2017；Zbl 1387.90164） 全文： DOI程序 arXiv公司 参考文献： [1] Achterberg，T.（2007）。混合整数规划中的冲突分析。离散优化，4，4-20·Zbl 1169.90414号 ·doi:10.1016/j.disopt.2006.10.006 [2] Achterberg，T.（2009）。约束整数编程。柏林：理工大学博士论文·Zbl 1171.90476号 [3] Achterberg，T.（2009）。SCIP：求解约束整数程序。数学规划计算，1，1-41·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1 [4] Achterberg，T.、Bixby，R.E.、Gu，Z.、Rothberg，E.和Weninger，D.（2014）。混合整数规划中的多轮预解约简。第26届RAMP研讨会会议记录。东京细尾大学·Zbl 07290858号 [5] Achterberg，T.、Sabharwal，A.和Samulowitz，H.（2013）。通过冲突和背包封面中的隐含文字进行更有力的推断。在Gomes，C.，&Sellmann，M.（Eds.），《第十届组合优化问题约束编程AI和OR技术国际会议论文集》（第1-11页）。柏林：斯普林格·Zbl 1382.68218号 [6] Achterberg，T.和Wunderling，R.（2013）。混合整数规划：分析12年的进展。在Jünger，M.和Reinelt，G.（编辑）《组合优化的方面》（第449-481页）中。柏林：斯普林格·Zbl 1317.90206号 [7] AIMMS:AIMMS建模语言（2015）。http://www.aimms.com/。 [8] Al-Khayyal，F.A.和Sherali，H.D.（2000年）。关于一些全局优化问题的有限终止分枝定界算法。SIAM优化杂志，101049-1057·Zbl 0994.65068号 ·doi:10.1137/S105262349935178X [9] Amaran，S.和Sahinidis，N.V.（2012年）。基于分枝约束和最优约束的非线性最小二乘问题的全局优化。顶部，2154-172·兹比尔1258.93102 ·doi:10.1007/s11750-011-0178-8 [10] Amarger，R.J.、Biegler，L.T.和Grossmann，I.E.（1992年）。用于设计优化的自动建模和重新计算系统。计算机与化学工程，16，623-636·doi:10.1016/0098-1354（92）80011-W [11] AMPL:AMPL建模语言。http://www.ampl.com/。 ·Zbl 1348.90009号 [12] 安德森·D.E.和安德森·K.D.（1995）。预解线性规划。数学编程，71，221-245·Zbl 0846.90068号 [13] Andersen，K.和Pochet，Y.（2010年）。系数强化：用于重新制定混合整数程序的工具。数学编程，122121-154·Zbl 1184.90111号 ·doi:10.1007/s10107-008-0243-8 [14] Apt，K.R.（1999）。约束传播的本质。理论计算机科学，221179-210·Zbl 0930.68164号 ·doi:10.1016/S0304-3975（99）00032-8 [15] Araya，I.和Reyes，V.（2015年）。用于优化和约束满足的区间分枝定界算法：综述与展望。全球优化杂志，1-30·Zbl 1353.90113号 [16] Araya，I.、Soto，R.和Crawford，B.（2015）。数值约束满足问题的自适应滤波策略。应用专家系统，42，8086-8094·doi:10.1016/j.eswa.2015.06.030 [17] Atamtürk，A.、Nemhauser，G.L.和Savelsbergh，M.W.P.（2000）。解决整数规划问题中的冲突图。《欧洲运筹学杂志》，121，40-55·Zbl 0959.90034号 ·doi:10.1016/S0377-2217（99）00015-6 [18] Balakrishnan，V.和Boyd，S.（1992年）。控制系统分析和设计中的全局优化。Leondes，C.T.（编辑）《控制与动态系统，理论与应用进展》。纽约：学术出版社·Zbl 0795.93040号 [19] Bao，X.、Khajavirad，A.、Sahinidis，N.V.和Tawarmalani，M.（2015）。多线性中间点非凸问题的全局优化。数学规划计算，7，1-37·Zbl 1317.90243号 ·doi:10.1007/s12532-014-0073-z [20] Bao，X.、Sahinidis，N.V.和Tawarmalani，M.（2009年）。非凸二次约束二次规划的多面体松弛。优化方法和软件，24485-504·Zbl 1179.90252号 ·网址：10.1080/10556780902883184 [21] 巴伦。http://minlp.com/baron。 [22] Belotti，P.（2013）。使用线性不等式对的边界约简。《全局优化杂志》，56，787-819·Zbl 1272.90033号 ·doi:10.1007/s10898-012-9848-9 [23] Belotti，P.、Caferi，S.、Lee，J.和Liberti，L.（2010年）。基于可行性的边界通过固定点收紧。Wu，W.，&Daescu，O.（编辑）《组合优化与应用》（第65-76页）。柏林：斯普林格·兹比尔1311.90189 [24] Belotti，P.、Caferi，S.、Lee，J.和Liberti，L.（2012年）。基于可行性的边界收紧。http://www.optimization-online.org/DB_HTML/2012/01/3325.HTML。 ·兹比尔1311.90189 [25] Belotti，P.、Lee，J.、Liberti，L.、Margot，F.和Wächter，A.（2009年）。非凸MINLP的分支和边界收紧技术。优化方法和软件，24597-634·Zbl 1179.90237号 ·doi:10.1080/10556780903087124 [26] Benhamou，F.、Goualard，F.，Granvilliers，L.和Puget，J.（1999）。修改外壳和盒子的一致性。《1999年逻辑程序设计国际会议论文集》，第230-244页。麻省理工学院·Zbl 0814.90093号 [27] Benhamou，F.、McAllester，D.和Hentenryck，P.V.（1994）。重新审查CLP（间隔）。Bruynooghe，M.（Ed.），《1994年逻辑编程国际研讨会论文集》（第124-138页）。剑桥：麻省理工学院出版社。 [28] Benhamou，F.和Older，W.J.（1997）。将区间算术应用于实数、整数和布尔约束。逻辑编程杂志，32，1-24·Zbl 0882.68032号 ·doi:10.1016/S0743-1066（96）00142-2 [29] Bessiere，C.（2006）。沃尔什约束传播。Rossi，F.、van，P.和Beek，T.（编辑）《约束编程手册》，第2章（第29-83页）。阿姆斯特丹：爱思唯尔·Zbl 0614.90082号 [30] Bessiere，C.、Stergiou，K.和Walsh，T.（2008年）。非二进制约束的域筛选一致性。人工智能，172800-822·Zbl 1182.68218号 ·doi:10.1016/j.artint.2007.10.016 [31] Bixby，R.和Rothberg，E.（2007年）。计算混合整数编程的进展——从引爆点的另一边回顾。《运筹学年鉴》，149，37-41·Zbl 1213.90011号 ·doi:10.1007/s10479-006-0091-y [32] Bordeaux，L.、Hamadi，Y.和Vardi，M.Y.（2007年）。区间传播中的慢收敛分析。Bessiere，C.（Ed.）《约束编程的原则和实践-CP 2007》（第790-797页）。柏林：Springer-Verlag·Zbl 1145.68506号 [33] Bordeaux，L.、Katsirelos，G.、Narodytska，N.和Vardi，M.Y.（2011）。整数绑定传播的复杂性。《人工智能研究杂志》，40657-676·Zbl 1216.68238号 [34] Borradaile，G.和van Hentenryck，P.（2005）。全局优化的安全紧线性估计。数学编程，102495-517·Zbl 1066.90087号 [35] Brearley，A.L.、Mitra，G.和Williams，H.P.（1975年）。在应用单纯形算法之前对数学规划问题进行分析。数学编程，8，54-83·Zbl 0317.90037号 ·doi:10.1007/BF01580428 [36] Brooke，A.、Kendrick，D.和Meeraus，A.（1988年）。GAMS-A用户指南。科学出版社，加利福尼亚州红木市·Zbl 0939.92013号 [37] Burer，S.和Chen，J.（2011年）。放宽盒子QP的可选条件。计算优化与应用，48653-673·Zbl 1242.90151号 ·doi:10.1007/s10589-009-9273-2 [38] Burer，S.和Vandenbussche，D.（2008）。通过半定松弛求解非凸二次规划的有限分枝定界算法。《数学编程》，113259-282·兹伯利1135.90034 ·doi:10.1007/s10107-006-0080-6 [39] Burer，S.和Vandenbussche，D.（2009年）。用基于半定义的有限分枝定界全局求解箱约束非凸二次规划。计算优化与应用，43，181-195·Zbl 1170.90522号 ·doi:10.1007/s10589-007-9137-6 [40] Bussieck，M.R.、Drud，A.S.和Meeraus，A.（2003）。MINLPLib——混合整数非线性规划的测试模型集合。信息计算杂志，15，114-119·Zbl 1238.90104号 ·doi:10.1287/ijoc.15.1.114.15159 [41] Caprara，A.和Locatelli，M.（2010年）。全局优化问题和域缩减策略。数学编程，125123-137·Zbl 1198.90325号 ·doi:10.1007/s10107-008-0263-4 [42] Caprara，A.、Locatelli，M.和Monaci，M.（2016）。基于光学的域约简的理论和计算结果。计算优化与应用，1-21·Zbl 1348.90525号 [43] Castro，P.M.和Grossmann，I.E.（2014年）。混合整数双线性问题全局优化的基于最优约束收缩和多参数分解。《全局优化杂志》，59，277-306·Zbl 1298.90058号 ·doi:10.1007/s10898-014-0162-6 [44] Cataláo，J.P.S.、Pousinho，H.M.I.和Mendes，V.M.F.（2011）。葡萄牙水能系统管理：基于利润的混合非线性方法评估。能源，36500-507·doi:10.1016/j.energy.2010.10.014 [45] Chen，J.和Burer，S.（2012年）。通过完全正规划全局求解非凸二次规划问题。数学规划计算，433-52·Zbl 1257.90065号 ·doi:10.1007/s12532-011-0033-9 [46] Chinneck，J.W.（2008）。优化的可行性和不可行性。纽约：施普林格·Zbl 1178.90369号 [47] Cleary，J.G.（1987年）。逻辑算术。未来的计算系统，2125-149。 [48] CMU-IBM开源MINLP项目测试集。http://egon.cheme.cmu.edu/ibm/page.htm。 ·Zbl 1181.90309号 [49] Collavizza，H.、Delobel，F.和Rueher，M.（1999）。比较部分一致性。可靠计算，5，213-228·Zbl 1130.65310号 ·doi:10.1023/A:1009922003700 [50] Cornelius，H.和Lohner，R.（1984年）。计算精度高于二阶的实函数值的范围。计算，33，331-347·Zbl 0556.65037号 ·doi:10.1007/BF02242276 [51] Crowder，H.、Johnson，E.L.和Padberg，M.（1983年）。求解大规模零线性规划问题。运筹学，31803-834·Zbl 0576.90065号 ·数字对象标识代码：10.1287/opre.31.5.803 [52] Czyzyk，J.、Mesnier，M.和Moré，J.（1998）。NEOS服务器。IEEE计算科学与amp；工程，568-75·数字对象标识代码：10.1109/99.714603 [53] D'Ambrosio，C.、Lodi，A.、Wiese，S.和Bragalli，C.（2015）。水网络优化中的数学规划技术。欧洲运筹学杂志，243774-788·Zbl 1346.90211号 ·doi:10.1016/j.ejor.2014.12.039 [54] Davis，E.（1987）。使用间隔标签约束传播。人工智能，32，281-331·Zbl 0642.68176号 ·doi:10.1016/0004-3702（87）90091-9 [55] Domes，F.和Neumaier，A.（2016年）。约束聚合用于严格的全局优化。数学编程，155，375-401·Zbl 1342.90142号 ·doi:10.1007/s10107-014-0851-4 [56] Du，K.和Kearfott，R.B.（1994年）。多元全局优化中的聚类问题。《全球优化杂志》，5253-265·兹比尔0824.90121 ·doi:10.1007/BF01096455 [57] Edelkamp，S.和Schroedl，S.（2011年）。启发式搜索：理论与应用爱思唯尔·Zbl 1273.90165号 [58] Falk，J.E.和Soland，R.M.（1969年）。可分离非凸规划问题的一种算法。管理科学，1550-569·Zbl 0172.43802号 ·doi:10.1287/mnsc.15.9550个 [59] Faltings，B.（1994年）。连续变量的弧一致性。人工智能，65363-376·Zbl 0803.68129号 ·doi:10.1016/0004-3702（94）90022-1 [60] Faria，D.C.和Bagajewicz，M.J.（2011年）。使用线性松弛和边界收缩方法对水管理问题进行全局优化。工业与工程化学研究，503738-3753·doi:10.1021/ie101206c [61] Faria，D.C.和Bagajewicz，M.J.（2011年）。双线性MINLP问题全局优化的新边界收缩过程及其在水管理问题中的应用。计算机与化学工程，35，446-455·doi:10.1016/j.compchemeng.2010.04.010 [62] Faria，D.C.和Bagajewicz，M.J.（2012年）。一类MINLP问题的全局优化新方法及其在水管理和水池问题中的应用。AIChE杂志，582320-2335·doi:10.1002/aic.12754 [63] Ferris，M.C.和Munson，T.S.（2001年）。预处理互补问题。在Ferris，M.C.、Mangasarian，O.L.和Pang，J.（编辑）《互补性：应用、算法和扩展》（第143-164页）中。多德雷赫特：施普林格·Zbl 0983.90063号 [64] Fischetti，M.和Salvagnin，D.（2010年）。修剪动作。信息计算杂志，22，108-119·Zbl 1243.90136号 ·doi:10.1287/ijoc.1090.0329 [65] Fischetti，M.和Toth，P.（1988年）。组合优化问题的一种新的优势算法。《运筹学快报》，181-187年·Zbl 0655.90064号 ·doi:10.1016/0167-6377（88）90025-9 [66] Focacci，F.、Lodi，A.和Milano，M.（1999年）。基于成本的域过滤（Cost-based domain filtering），载于Jaffar，J.（Ed.）《约束编程原理与实践学报：第五届国际会议》（第189-203页）。柏林：斯普林格·Zbl 0955.90095号 [67] Fourer，R.和Gay，D.M.（1994年）。具有原始预解算法的经验。在Hager，W.、Hearn，D.和Pardalos，P.（编辑）《大规模优化：现状》（第135-154页）中。波士顿：斯普林格·Zbl 0816.90101号 [68] Fügenschuh，A.、Homfeld，H.、Schülldorf，H.和Vigerske，S.（2010年）。运输应用中的混合整数非线性问题。第二届工程优化国际会议论文集（CD-ROM）（第14页）·Zbl 1297.49046号 [69] Furman，K.C.和Sahinidis，N.V.（2002年）。20世纪换热器网络综合的批判性评论和注释书目。工业与工程化学研究，412335-2370·doi:10.1021/ie010389e [70] Gamrath，G.、Koch，T.、Martin，A.、Miltenberger，M.和Weninger，D.（2015）。混合整数规划预求解的进展。数学规划计算，7367-398·Zbl 1329.90089号 ·doi:10.1007/s12532-015-0083-5 [71] Gleixner，A.M.、Berthold，T.、Müller，B.和Weltge，S.（2016）。基于优化的绑定拧紧的三项增强功能。ZIB报告，15-16·Zbl 1369.90106号 [72] Gleixner，A.M.和Weltge，S.（2013）。混合整数非线性规划的拉格朗日变量界的学习和推广。《第十届组合优化问题约束编程中人工智能和操作规则技术国际会议论文集》（第355-361页）。柏林：斯普林格·Zbl 1382.90063号 [73] 全球图书馆。http://www.gamsworld.org/global/globallib.htm。 [74] Gondzio，J.（1997）。在应用内点法之前对线性程序进行预解分析。信息计算杂志，973-91·Zbl 0890.90143号 ·doi:10.1287/ijoc.9.1.73 [75] Gould，N.和Toint，P.L.（2004）。二次规划的预处理。数学编程，10095-132·Zbl 1146.90491号 [76] 格罗斯曼一世（2005年）。企业范围的优化：过程系统工程的新前沿。AIChE期刊，511846-1857·doi:10.1002/aic.10617 [77] Grossmann，I.E.、Caballero，J.A.和Yeomans，H.（2000）。过程系统综合数学规划的进展。拉丁美洲应用研究，30，263-284。 [78] Guignard，M.和Spielberg，K.（1981年）。零位编程中的逻辑约简方法——最小优先变量。运营研究，29，49-74·Zbl 0452.90044号 ·doi:10.1287/opre.29.1.49 [79] Hager，G.D.（1993年）。解决大型非线性约束系统并应用于数据建模。区间计算，3169-200·Zbl 0829.65007号 [80] Hamed，A.S.E.和McCormick，G.P.（1993年）。计算满足非线性不等式约束的变量的界。《全局优化杂志》，3，25-47·Zbl 0845.90105号 ·doi:10.1007/BF01100238 [81] Hansen，E.R.（1992）。使用区间分析进行全局优化。纯数学和应用数学·Zbl 0762.90069号 [82] Hansen，P.、Jaumard，B.和Lu，S.H.（1991年）。全局优化的分析方法。数学编程，52227-254·Zbl 0747.90091号 ·doi:10.1007/BF01582889 [83] Hansen，P.、Jaumard，B.、Ruiz，M.和Xiong，J.（1993）。箱约束下不定二次函数的全局极小化。海军研究后勤（NRL），40373-392·Zbl 0782.90071号 ·doi:10.1002/1520-6750（199304）40:3<373:：AID-NAV3220400307>3.0.CO；2-A型 [84] Harjunkoski，I.、Westerlund，T.、Pörn，R.和Skrivvars，H.（1998）。MINLP求解非凸切边损失问题的不同变换。欧洲运筹学杂志，105，594-603·Zbl 0955.90095号 ·doi:10.1016/S0377-2217（97）00066-0 [85] Harvey，W.和Schimpf，J.（2002）。长线性约束的边界一致性技术。《TRICS:实现约束编程系统的技术》（第39-46页）·兹比尔1342.90142 [86] Heinz，S.、Schulz，J.和Beck，J.C.（2013年）。使用双重预求解减少来重新制定累积约束。约束，18，166-201·Zbl 1309.90066号 ·doi:10.1007/s10601-012-9136-9 [87] 霍夫曼，K.L.和帕德伯格，M.（1991）。改进支路与支路零一线性规划的LP表示。ORSA计算机杂志，3121-134·兹标0755.90062 ·doi:10.1287/ijoc.3.2.121 [88] 胡克，J.N.（2007）。优化的集成方法。纽约：Springer Science&Business Media·邮编1122.90002 [89] Horst，R.和Tuy，H.（1996年）。《全局优化：确定性方法》，第3版。柏林：Springer Verlag·Zbl 0867.90105号 ·doi:10.1007/978-3-662-03199-5 [90] Hu，J.、Mitchell，J.E.和Pang，J.（2012）。非凸二次规划的LPCC方法。数学编程，133243-277·Zbl 1244.90177号 ·doi:10.1007/s10107-010-0426-y [91] Hunting，M.（2011年）。AIMMS中的非线性预解算法，AIMMS白皮书，Paragon Decision Technology，BV·Zbl 1130.65310号 [92] 茨城（1977）。分枝定界算法中优势关系的威力。美国医学会杂志，24264-279·Zbl 0357.90043号 ·数字对象标识代码：10.1145/322003.322010 [93] Imbert，J.和Hentenryck，P.V.（1996年）。用字典法解决的形式消除冗余。数学和人工智能年鉴，17，85-106·Zbl 0887.90115号 ·doi:10.1007/BF02284625 [94] Jezowski，J.（2010）。回顾水网络设计方法和文献注释。工业与工程化学研究，49，4475-4516·doi:10.1021/ie901632w [95] 卡鲁什·W（1939）。以不等式为边约束的多变量函数的极小值。伊利诺伊州芝加哥：芝加哥大学数学系硕士论文。 [96] Katsirelos，G.（2008）。CSP中的不良处理。博士论文：多伦多大学。 [97] Kearfott，R.B.（1991年）。算术表达式的分解，以改善非线性系统的区间迭代行为。计算，47169-191·Zbl 0739.65049号 ·doi:10.1007/BF02253433 [98] Kearfott，R.B.（1996年）。严格的全局搜索：连续问题，非凸优化及其应用第13卷。多德雷赫特：Kluwer学术出版社·Zbl 0876.90082号 ·doi:10.1007/978-1-4757-2495-0 [99] Kearfott R.B.（2009）。GlobSol用户指南。优化方法和软件，24，687-708·Zbl 1180.90314号 [100] Kell，B.、Sabharwal，A.和van Hoeve，W.（2015）。BDD-引导子句生成。Michel，L.（Ed.）《约束编程中人工智能和OR技术的集成》（第215-230页）：Springer·Zbl 1459.68191号 [101] Khajavirad，A.、Michalek，J.J.和Sahinidis，N.V.（2014年）。可因子函数与可凸变换中间体的松弛。数学规划，144107-140·Zbl 1301.65047号 ·doi:10.1007/s10107-012-0618-8 [102] Khajavirad，A.和Sahinidis，N.V.（2011年）。凸函数和分量凹函数乘积的凸包络。《全局优化杂志》，52，391-409·Zbl 1268.90052号 ·doi:10.1007/s10898-011-9747-5 [103] Khajavirad，A.和Sahinidis，N.V.（2013年）。由有限多个紧凸集生成的凸包络。数学编程，137371-408·Zbl 1284.90055号 ·doi:10.1007/s10107-011-0496-5 [104] Kílñnç，M.和Sahinidis，n.V.（2014年）。用BARON解决MINLP。在匹兹堡MINLP研讨会上发表http://http://minlp.cheme.cmu.edu/2014/papers/kilinc.pdf。 ·Zbl 1182.68218号 [105] Kohler，W.H.和Steiglitz，K.（1974年）。置换问题分枝定界算法的特征和理论比较。美国医学会杂志，21140-156·兹伯利0279.68035 ·doi:10.145/321796.321008 [106] Kuhn，H.W.和Tucker，A.W.（1951年）。非线性规划。Neyman，J.（编辑），《第二届伯克利数理统计与概率研讨会论文集》（第481-492页）。伯克利：加利福尼亚大学出版社·Zbl 0044.05903号 [107] Kulisch，U.W.（2009年）。完整的区间算法及其在计算机上的实现。在Cuyt，A.、Krämer，W.、Luther，W.&Markstein，P.（编辑）《当前硬件架构的数值验证》中。柏林：斯普林格·Zbl 1272.90033号 [108] 拉马尔，B.W.（1993）。一种改进的最小凹费用网络流分支定界算法。《全局优化杂志》，3，261-287·Zbl 0781.90035号 ·doi:10.1007/BF01096771 [109] Land，A.H.和Doig，A.G.（1960年）。一种解决离散编程问题的自动方法。《计量经济学》，第28期，第497-520页·兹比尔0101.37004 ·doi:10.2307/1910129 [110] Lebbah，Y.（2009）。ICOS：用于严格全局优化的基于分支和边界的求解器。优化方法和软件，24，709-726·Zbl 1179.90265号 ·doi:10.1080/10556780902753452 [111] Lebbah，Y.、Michel，C.和Rueher，M.（2005）。二次约束的严格全局滤波算法。约束，10，47-65·Zbl 1066.90090号 ·doi:10.1007/s10601-004-5307-7 [112] Lebbah，Y.、Michel，C.和Rueher，M.（2007）。使用约束技术安全快速地实现基于optiMality的缩减。2007年ACM应用计算研讨会论文集（第326-331页）。 [113] Lebbah，Y.、Michel，C.、Rueher，M.、Daney，D.和Merlet，J.P.（2005）。处理数值约束系统的有效和安全的全局约束。SIAM数值分析杂志，42，2076-2097·Zbl 1082.65051号 ·doi:10.1137/S0036142903436174 [114] Lecoutre，C.、Sais，L.、Tabary，S.和Vidal，V.（2007年）。记录并尽量减少重新启动时的无货物。可满足性布尔建模与计算杂志，1147-167·Zbl 1144.68373号 [115] Leo，K.和Tack，G.（2015）。多通道高电平预解。在第二十四届国际人工智能联合会议上·兹比尔1184.90111 [116] Lhomme，O.（1993年）。数字CSP的一致性技术。在国际人工智能联合会议上，（第93卷，第232-238页）·Zbl 0824.90121号 [117] Lin，Y.和Schrage，L.（2009）。LINDO API中的全局解算器。优化方法和软件，24，657-668·Zbl 1177.90325号 ·doi:10.1080/10556780902753221 [118] Lodwick，W.A.（1989年）。人工智能系统和数学程序中的约束传播、关系算法。运筹学年鉴，21143-148·Zbl 0705.90056号 ·doi:10.1007/BF02022097 [119] Lodwick，W.A.（1992年）。预处理非线性约束，并应用于池问题。ORSA计算机杂志，4，119-131·Zbl 0770.90067号 ·doi:10.1287/ijoc.4.2.119 [120] Lync，I.和Marques-Silva，J.（2003）。命题可满足性的基于探测的预处理技术。第15届ICTAI会议记录（第105-110页）·Zbl 1198.90325号 [121] Mahajan，A.（2010年）。预求解混合整数线性规划。在Cochran，J.J.、Cox，L.A.、Keskinocak，P.、Kharoufeh，J.P.和Smith，J.C.（编辑）《威利运营研究与管理科学百科全书》中。纽约：Wiley·Zbl 1329.90089号 [122] Mangasarian，O.L.和McLinden，L.（1985）。单调互补问题和凸规划解的简单界。数学编程，32，32-40·Zbl 0567.90093号 ·doi:10.1007/BF01585657 [123] Margot，F.（2002）。通过分枝和切割中的同构进行修剪。数学编程，9471-90·Zbl 1023.90088号 ·doi:10.1007/s10107-002-0358-2 [124] Margot，F.（2003年）。利用对称ILP中的轨道。数学编程，98，3-21·Zbl 1082.90070 ·doi:10.1007/s10107-003-0394-6 [125] Markót，M.C.和Schichl，H.（2014）。COCONUT环境中的有界约束区间全局优化。《全局优化杂志》，60，751-776·Zbl 1302.90152号 ·文件编号：10.1007/s10898-013-0139-x [126] Marques-Silva，J.P.和Sakallah，K.A.（1999）。GRASP：命题可满足性的搜索算法。IEEE计算机汇刊，48，506-521·Zbl 1392.68388号 ·数字对象标识代码：10.1109/12.769433 [127] Martin，A.（2001年）。通用混合整数规划：分支与切割算法的计算问题。在Jünger，M.和Naddef，D.s（编辑）《计算组合优化：最优或明显接近最优解》（第1-25页）。柏林：斯普林格·Zbl 1052.90049号 [128] Martin，A.、Möller，M.和Moritz，S.（2006年）。燃气管网优化平稳情况下的混合整数模型。数学编程，105，563-582·Zbl 1085.90035号 ·doi:10.1007/s10107-005-0665-5 [129] Martin，P.和Shmoys，D.B.（1996年）。一种计算job-shop调度问题最优调度的新方法。在Cunningham，H.W.、McCormick，T.S.和Queyranne，M.（编辑）《整数规划和组合优化国际会议》（第389-403页）。柏林：斯普林格·Zbl 1414.90162号 [130] Mayer，G.（1995）。验证算法中的Epsilon膨胀。计算与应用数学杂志，60，147-169·Zbl 0839.65059号 ·doi:10.1016/0377-0427（94）00089-J [131] McCormick，G.P.（1976年）。可分解非凸程序整体解的可计算性：第一部分-凸低估问题。数学编程，10147-175·Zbl 0349.90100号 [132] Messine，F.（2004）。使用区间约束传播技术的确定性全局优化。RAIRO-运营研究，38，277-293·Zbl 1114.90156号 ·doi:10.1051/ro:2004026 [133] Mészáros，C.S.和Suhl，U.H.（2003年）。用于线性和二次规划的高级预处理技术。OR光谱，25775-595·Zbl 1042.90031号 ·文件编号：10.1007/s00291-003-0130-x [134] Meyer，C.A.和Floudas，C.A.（2005年）。边凹函数的凸包。数学编程，103207-224·Zbl 1099.90045号 ·doi:10.1007/s10107-005-0580-9 [135] Misener，R.和Floudas，C.A.（2014年）。ANTIGONE：非线性方程连续/整数全局优化算法。《全局优化杂志》，59，503-526·兹比尔1301.90063 ·文件编号：10.1007/s10898-014-0166-2 [136] Mittelmann，H.D.和Pruessner，A.（2006年）。用于对基准数据进行自动性能分析的服务器。优化方法和软件，21，105-120·Zbl 1181.90309号 ·doi:10.1080/10556780500065366 [137] Moore，R.E.、Kearfott，R.B.和Cloud，M.J.（2009年）。区间分析简介。暹罗费城·Zbl 1168.65002号 [138] Morrison，D.R.、Jacobson，S.H.、Sauppe，J.J.和Sewell，E.C.（2016年）。分枝定界算法：搜索、分支和修剪的最新进展综述。离散优化，19，79-102·Zbl 1387.90010号 ·doi:10.1016/j.disopt.2016.01.005 [139] Moskewicz，M.W.、Madigan，C.F.、Zhao，Y.、Zhang，L.和Malik，S.（2001）。Chaff：设计一个高效的SAT求解器。第38届设计自动化年会论文集，第530-535页·Zbl 0881.90099号 [140] Nannicini，G.、Belotti，P.、Lee，J.、Linderath，J.，Margot，F.和Wächter，A.（2011）。利用支持向量机进行故障预测的MINLP探测算法。在Achterberg，T.，&Beck，J.C.（编辑）《组合优化问题约束编程中人工智能和操作规则技术的集成》（第154-169页）。柏林：斯普林格·Zbl 1302.90160号 [141] Nemhauser，G.L.、Savelsbergh，M.P.和Sigismondi，G.C.（1994年）。MINTO，一个混合INTeger优化器。《运营研究快报》，第15期，第47-58页·Zbl 0806.90095号 ·doi:10.1016/0167-6377（94）90013-2 [142] Neumaier，A.（1990年）。方程组的区间方法剑桥大学出版社·Zbl 0715.65030号 [143] Neumaier，A.（1997年）。蛋白质的分子建模和蛋白质结构的数学预测。SIAM综述，39407-460·Zbl 0939.92013号 ·doi:10.1137/S0036144594278060 [144] Neumaier，A.（2004）。在连续全局优化和约束满足中完成搜索。《数字学报》，第13期，第271-369页·Zbl 1113.90124号 ·doi:10.1017/S0962492904000194 [145] Neumaier，A.和Shcherbina，O.（2004）。线性规划和混合整数线性规划中的安全边界。数学规划，99，283-296·Zbl 1098.90043号 ·doi:10.1007/s10107-003-0433-3 [146] Ostrowski，J.、Linderath，J.，Rossi，F.和Smriglio，S.（2011年）。轨道分支。数学编程，126147-178·Zbl 1206.90101号 ·doi:10.1007/s10107-009-0273-x [147] O'Sullivan，B.（2010年）。约束编程中的自动建模和求解。在第二十四届AAAI人工智能会议上·Zbl 1085.90035号 [148] Pardalos，P.M.、Chaovalitwingse，W.、Iasemidis，L.D.、Sackellares，J.C.、Shiau，D.、Carney，P.R.、Prokopyev，O.A.和Yatsenko，V.A.（2004）。基于优化和非线性动力学的癫痫预警算法。数学编程，101365-385·Zbl 1055.92031号 ·doi:10.1007/s10107-004-0529-4 [149] 普林斯顿图书馆。http://www.gamsworld.org/performance/princetonlib/princethonlib.htm。 ·Zbl 0781.90035号 [150] Prosser，P.、Stergiou，K.和Walsh，T.（2000）。单一一致性。Dechter，R.（编辑）《第六届国际会议记录》，CP 2000新加坡（第353-368页）。柏林：斯普林格·Zbl 1044.68790号 [151] Puranik，Y.，&Sahinidis，N.V.非凸箱约束优化的最优性条件上界收紧。全球优化杂志。2007年10月10日/10898-016-0491-8·Zbl 1359.90107号 [152] Puranik，Y.，&Sahinidis，N.V.删除预解决方案用于加速优化模型中的不可行性诊断。INFORMS计算机杂志（综述中）·Zbl 1446.90093号 [153] Rajagopalan，S.和Sahinidis，N.V.（2017年）。联营问题。在Terlaky，T.、Anjos，M.和Ahmed，S.（编辑）《工程应用优化的进展和趋势》中，MOS-SIM优化系列丛书。费城：SIAM·兹比尔1137.90009 [154] Régin，J.C.（2011）。米兰全球限制：一项调查。Van，P.，&Hentenryck，M.（编辑）《混合优化：CPAIOR的十年》（第63-134页）。纽约：施普林格·Zbl 0906.90159号 [155] Rikun，A.D.（1997年）。多线性函数的凸包络公式。《全局优化杂志》，10，425-437·Zbl 0881.90099号 ·doi:10.1023/A:1008217604285 [156] Ríos-Mercado，R.Z.和Borraz-Sánchez，C.（2015）。天然气运输系统中的优化问题：最新综述。应用能源，147536-555·doi:10.1016/j.apenergy.2015.03.017 [157] Roy，T.J.V.和Wolsey，L.A.（1987年）。使用自动重新计算解决混合整数规划问题。运营研究，35，45-57·Zbl 0614.90082号 ·doi:10.1287/opre.35.145 [158] Ryoo，H.S.和Sahinidis，N.V.（1995年）。非凸NLP和MINLP的全局优化及其在工艺设计中的应用。计算机与化学工程，19551-566·doi:10.1016/0098-1354（94）00097-2 [159] Ryoo，H.S.和Sahinidis，N.V.（1996年）。全局优化的分支与简化方法。《全局优化杂志》，8，107-139·Zbl 0856.90103号 ·doi:10.1007/BF00138689 [160] Sahinidis，N.V.（2003年）。全局优化和约束满足：分支与约简方法。在Bliek，C.、Jermann，C.和Neumaier，A.（编辑）《全局优化和约束满足》，《计算机科学讲义》（第2861卷，第1-16页）。柏林：斯普林格·Zbl 1255.90102号 [161] Sahinidis，N.V.和Tawarmalani，M.（2005）。通过针对松弛特定约束的建模语言构造加速分支绑定。全球优化杂志，32，259-280·Zbl 1080.90087 ·doi:10.1007/s10898-004-2705-8 [162] Sam-Haroud，D.和Faltings，B.（1996年）。连续约束的一致性技术。约束，185-118·doi:10.1007/BF00143879 [163] Sandholm，T.和Shields，R.（2006）。混合整数规划的不良学习。在组合优化中的混合方法和分支规则研讨会上，Montréal（p.138）·Zbl 0556.65037号 [164] Savelsbergh，M.W.P.（1994年）。混合整数编程问题的预处理和探测。ORSA计算机期刊，6445-454·Zbl 0814.90093号 ·doi:10.1287/ijoc.6.4.445 [165] Schichl，H.、Markót，M.C.和Neumaier，A.（2014）。优化问题的排除区域。《全局优化杂志》，59569-595·Zbl 1297.65070号 ·doi:10.1007/s10898-013-0137-z [166] Schichl，H.和Neumaier，A.（2004）。方程组的排除区域。SIAM数值分析杂志，42，383-408·Zbl 1080.65041号 ·doi:10.1137/S0036142902418898 [167] Schichl，H.和Neumaier，A.（2005年）。用于全局优化的有向无环图的区间分析。《全局优化杂志》，33，541-562·Zbl 1094.65061号 ·doi:10.1007/s10898-005-0937-x [168] Schichl，H.和Neumaier，A.（2006年）。转置定理和无资格的优化条件。SIAM优化杂志，17，1035-1055·Zbl 1136.90043号 ·数字对象标识码：10.1137/05063129X [169] Schöbel，A.和Scholz，D.（2010年）。几何分枝定界方法的理论和经验收敛速度。《全局优化杂志》，48，473-495·Zbl 1236.90148号 ·doi:10.1007/s10898-009-9502-3 [170] Scholkopf，B.和Smola，A.J.（2001）。使用内核学习：支持向量机、正则化、优化及其他。剑桥：麻省理工学院出版社。 [171] Sellmann，M.（2004）。基于CP的拉格朗日松弛的理论基础。Wallace，M.（编辑），《第十届国际会议论文集》，CP 2004，加拿大多伦多（第634-647页）。柏林：斯普林格·Zbl 1152.68584号 [172] Sewell，E.C.、Sauppe，J.J.、Morrison，D.R.、Jacobson，S.H.和Kao，G.K.（2012年）。一种BB&R算法，用于最小化具有序列相关设置时间的单机上的总拖期。《全局优化杂志》，54，791-812·Zbl 1258.90043号 ·doi:10.1007/s10898-011-9793-z网址 [173] Shectman，J.P.和Sahinidis，N.V.（1998年）。可分离凹规划全局最小化的一种有限算法。《全局优化杂志》，12，1-36·Zbl 0906.90159号 ·doi:10.1023/A:1008241411395 [174] H.D.Sherali和W.P.Adams（1990年）。零规划问题的连续和凸壳表示之间的松弛层次。SIAM离散数学杂志，3411-430·Zbl 0712.90050号 ·数字对象标识代码：10.1137/0403036 [175] Sherali，H.D.和Adams，W.P.（1994年）。混合整数零规划问题的松弛层次和凸壳特征。离散应用数学，52（1），83-106·Zbl 0819.90064号 ·doi:10.1016/0166-218X（92）00190-W [176] Sherali，H.D.和Adams，W.P.（1999）。求解离散和连续非凸问题的重整线性化技术，非凸优化及其应用，第31卷。多德雷赫特：Kluwer学术出版社·Zbl 0926.90078号 [177] Sinha，M.、Achenie，L.E.K.和Gani，R.（2003）。使用区间分析进行毯洗溶剂混合设计。工业与工程化学研究，42516-527·doi:10.1021/ie020224l [178] Smith，A.B.和Sahinidis，N.V.（2009年）。基于单晶X射线衍射数据的相位恢复优化技术。在Floudas，C.A.和Pardalos，P.M.（编辑）《优化百科全书》（第2858-2863页）中。波士顿：斯普林格·Zbl 1329.90089号 [179] Smith，E.M.B.和Pantelides，C.C.（1996）。通用流程模型的全局优化。Grossmann，I.E.（编辑），《工程设计中的全局优化》（第355-386页）。波士顿：Kluwer学术出版社·Zbl 0874.90199号 [180] Stallman，R.M.和Sussman，G.J.（1977年）。计算机辅助电路分析系统中的正向推理和依赖定向回溯。人工智能，9135-196·Zbl 0372.94024号 ·doi:10.1016/0004-3702（77）90029-7 [181] Stergiou，K.（2009年）。约束满足问题中动态适应传播的启发式方法。AI通信，22，125-141·Zbl 1185.90191号 [182] Sturtevant，N.R.、Felner，A.、Likhachev，M.和Ruml，W.（2012年）。启发式搜索随着年龄的增长而发展。在AAAI12:第26届AAAI人工智能会议论文集。 [183] Tawarmalani，M.、Richard，J.P.和Xiong，C.（2013）。通过多面体细分的显凸和凹包络。数学规划，138531-577·Zbl 1273.90165号 ·doi:10.1007/s10107-012-0581-4 [184] Tawarmalani，M.和Sahinidis，N.V.（2002年）。l.s.c.函数的凸扩张和凸包络。数学规划，93，247-263·Zbl 1065.90062号 ·doi:10.1007/s10107-002-0308-z [185] Tawarmalani，M.和Sahinidis，N.V.（2004）。混合整数非线性程序的全局优化：理论和计算研究。数学编程，99，563-591·Zbl 1062.90041号 ·doi:10.1007/s10107-003-0467-6 [186] Tawarmalani，M.和Sahinidis，N.V.（2005年）。全局优化的多面体分枝切割方法。数学规划，103225-249·Zbl 1099.90047号 ·doi:10.1007/s10107-005-0581-8 [187] Thakur，L.S.（1990年）。非线性规划中的区域收缩：最小化多面体上的二次凹函数。运筹学数学，16390-407·Zbl 0741.90068号 ·doi:10.1287/门16.2.390 [188] Thorsteinsson，E.S.和Ottosson，G.（2002）。连续变量下标的线性松弛和基于降低成本的传播。运筹学年鉴，115，15-29·Zbl 1011.90030号 ·doi:10.1023/A:1021136801775 [189] Tomlin，J.A.和Welch，J.S.（1983年）。一些简化线性规划问题的形式优化。数学编程，27232-240·Zbl 0535.90059号 ·doi:10.1007/BF02591947 [190] Tomlin，L.A.和Welch，J.S.（1986年）。在线性规划模型中查找重复行。《运营研究快报》，5，7-11·Zbl 0621.65058号 ·doi:10.1016/0167-6377（86）90093-3 [191] Torres，P.和Lopez，P.（2000）。针对车间问题的剃须技术概述和可能的扩展。在第二届组合优化问题约束规划中AI和OR技术集成国际研讨会上（第181-186页）。帕德博恩：施普林格·Zbl 0655.90064号 [192] van Beek，P.和Beek T.（2006年）。沃尔什回溯搜索算法。在Rossi，F.和van，P.（编辑）《约束编程手册》第4章（第85-134页）中。阿姆斯特丹：爱思唯尔·Zbl 0806.90095号 [193] Van Hentenryck，P.、Michel，L.和Deville，Y.（1997年）。Numerica：一种用于全局优化的建模语言。马萨诸塞州剑桥：麻省理工学院出版社。 [194] van Iwaarden，R.J.（1996）。一种改进的无约束全局优化算法。博士论文：科罗拉多大学丹佛分校。 [195] Vandenbussche，D.和Nemhauser，G.L.（2005）。带方框约束的非凸二次规划的分枝切割算法。数学编程，102559-575·Zbl 1137.90010号 ·doi:10.1007/s10107-004-0550-7 [196] Vandenbussche，D.和Nemhauser，G.L.（2005）。带方框约束的非凸二次规划的多面体研究。数学规划，102，531-557·Zbl 1137.90009号 ·doi:10.1007/s10107-004-0549-0 [197] Vu，X.、Sam-Haroud，D.和Faltings，B.（2009年）。使用多重包含表示增强数值约束传播。数学和人工智能年鉴，55295-354·Zbl 1186.68445号 ·doi:10.1007/s10472-009-9129-6 [198] Vu，X.、Schichl，H.和Sam-Haroud，D.（2009年）。数值约束求解中有向非循环图的区间传播和搜索。《全局优化杂志》，45，499-531·Zbl 1179.90267号 ·doi:10.1007/s10898-008-9386-7 [199] Waltz，D.（1975）。了解带有阴影的场景的线条图。在Winston，P.H.（编辑）《计算机视觉心理学》中。纽约：McGraw-Hill·Zbl 0655.90064号 [200] Wechsung，A.、Schaber，S.D.和Barton，P.I.（2014）。重新访问了群集问题。《全局优化杂志》，58，429-438·兹比尔1297.49046 ·doi:10.1007/s10898-013-0059-9 [201] Zamora，J.M.和Grossmann，I.E.（1999年）。一种求解凹单变量、双线性和线性分数项问题的分支收缩算法。全球优化杂志，14，217-249·Zbl 0949.90097号 ·doi:10.1023/A:1008312714792 [202] Zorn，K.和Sahinidis，N.V.（2013年）。具有中间双线性子结构的一般非凸问题的全局优化。优化方法和软件，29442-462·Zbl 1285.90043号 ·doi:10.1080/10556788.2013.783032 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。