米歇拉·米兰;马克·华莱士 将运筹学整合到约束规划中。 （英语） Zbl 1125.90392号 4OR（或） 4，第3期，175-219（2006）. 摘要：本文将约束编程（CP）作为建模问题的自然形式，并作为解决问题的灵活平台。CP有一系列处理约束的技术，包括几种形式的传播和针对全局约束的定制算法。它还允许将线性规划与传播和新颖多样的搜索技术相结合，这些技术可以很容易地用CP表示。本文描述了如何使用CP在不同类型的混合算法中开发线性规划。特别是它可以增强拉格朗日松弛、Benders分解和柱生成等技术。 引用于8文件 MSC公司： 90C08型 线性规划的特殊问题（运输、多指标、数据包络分析等） 90-02 与运筹学和数学规划有关的研究博览会（专著、调查文章） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68卢比99 离散数学与计算机科学 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：约束编程;数学编程;问题建模和解决 软件：协和式飞机;本地化程序;SCIP公司;bc-opt公司;CPLEX公司;SALSA公司;彗星;阿巴克斯 PDF格式BibTeX公司 XML格式引用 \textit{M.Milano}和\textit{M.Wallace}，4OR 4，No.3，175--219（2006；Zbl 1125.90392） 全文： 内政部 参考文献： [1] Ahmed S，Shapiro A（2002）具有整数补偿的随机规划的样本平均近似方法。In：在线优化 [2] Applegate D，Bixby R，Chvátal V，Cook W（1999）Tsp-solver协和。网址：http://www.keck.caam。rice.edu/concorde.html [3] Apt KR，Wallace MG（2006）使用ECLiPSe的约束逻辑编程。剑桥大学出版社 [4] Arbab F，Monfroy E（1998）异构分布式协同约束求解的协调。应用计算版本6:4–17 ACM SIGAPP [5] Baptiste P，Le Pape C，Nuijten W（1995）基于约束调度中的高效操作研究算法。In:第一次人工智能和运筹学联合研讨会 [6] Baptiste P，Le Pape C，Nuijten W（2003）基于约束的调度。多德雷赫特·克鲁沃·邮编1094.90002 [7] Beldiceanu N，Borreau E，Chan P，Rivreau D（1997），CHIP中的部分搜索策略。附：第二届元神经科学国际会议论文集 [8] Beldiceanu N，Carlsson M（2002）一种新的负高度多资源累积约束。在：约束规划原则和实践国际会议论文集CP 2002，“LNCS”第2470卷。施普林格，柏林-海德堡-纽约，第63–79页 [9] Beldiceanu N，Carlsson M，Rampon J-X（2005）全球约束目录。In：SICS技术报告T2005:08 [10] Benders-JF（1962）用于解决混合变量编程问题的分区过程。数字数学4:238–252·Zbl 0109.38302号 ·doi:10.1007/BF01386316 [11] Benhamou F、Granvilliers L、Goualard F（1999）《区间约束：结果和观点》。主题：约束的新趋势，第1-16页 [12] Beringer H，De Backer B（1995）约束逻辑编程中的组合问题求解与合作求解。Beierle C，Plümer L（eds）逻辑编程：形式化方法和实际应用。北荷兰，第245-272页·Zbl 0939.68580号 [13] Bèssiere C，Meseguer P，Freuder E，Larrosa J（2002）关于非二进制约束满足的正向检查。Artif Intell艺术情报141:205–224·Zbl 1043.68090号 ·doi:10.1016/S0004-3702（02）00263-1 [14] Bèssiere C，Régin JC（1997）一般约束网络的弧一致性：初步结果。摘自：Pollack M（ed）《国际人工智能联合会议论文集》，IJCAI，Morgan Kaufmann，第398-404页 [15] Bousonville T、Focacci F、Le Pape C、Nuijten E、Paulin F、Puget JF、Robert A、Sadeghin A（2005）《电厂发电中规则与优化的整合》。收录于：Bartak R，Milano M（编辑）约束编程中人工智能和操作规则技术集成国际会议论文集——CPAIOR 2005，LNCS第3524卷。施普林格，柏林-海德堡，纽约，第1-15页·Zbl 1133.90329号 [16] Carlier J，Pinson E（1995）求解车间作业调度的算法。管理科学35:164–176·Zbl 0677.90036号 ·doi:10.1287/mnsc.35.2164 [17] Cheng BMW，Lee JHM，Wu JCK（1996）通过冗余建模加速约束传播。摘自：弗洛伊德·EC（ed）《约束编程原理与实践国际会议论文集》，“LNCS”第1118卷。施普林格，柏林-海德堡，纽约，第91–103页 [18] Choi CW，Harvey W，Ho-Man Lee J，Stuckey PJ（2004）《有限域边界一致性重访》。网址：www.citebase.org/cgi-bin/citations？id=oai:arXiv.org:cs/0412021Codognet P，Diaz D（1996）《在clp（fd）中编译约束》。J逻辑程序27:1–199 [19] Cordier C，Marchand H，Laundy R，Wolsey LA（1999）BC-opt:混合整数程序的分支与切割代码。数学课程86（2）：335–354·Zbl 0939.90025号 ·doi:10.1007/s101070050092 [20] Crainic TG，Gendreau M，Farvolden JM（2000）基于单纯形的禁忌搜索法用于容量受限网络设计。信息J计算12（3）：223–236·Zbl 1040.90506号 ·doi:10.1287/ijoc.12.3.223.12638 [21] 达世币优化有限公司（2000）Xpress MP优化应用。网址：//www。dashoptimization.com/home/downloads/book/booka4.pdf [22] Davis E（1987）具有区间标签的约束传播。人工智能32（3）：281–331·Zbl 0642.68176号 ·doi:10.1016/0004-3702（87）90091-9 [23] Demassey S，Pesant G，Rousseau L-M（2005），基于约束编程的员工时间表列生成。收录：Bartak R，Milano M（eds）《关于组合优化问题约束规划中人工智能和或技术集成的国际会议论文集——CPAIOR，LNCS第3524卷》。施普林格，柏林-海德堡，纽约，第140–154页·Zbl 1133.90359号 [24] Deransart P、Hermenegildo MV、Maluszynski J（2000）《约束编程的分析和可视化工具》，LNCS 1870卷。施普林格，柏林-海德堡-纽约 [25] El Sakkout H，Wallace M（2000）《探索动态调度中最小扰动的回溯搜索》。限制条件5（4）：359–388·Zbl 0970.68014号 ·doi:10.1023/A:1009856210543 [26] Fahle T、Junker U、Karisch SE、Kohl N、Sellmann M、Vaaben B（2002），基于约束编程的乘员分配列生成。亨利斯特杂志8（1）：59–81·Zbl 1073.90542号 ·doi:10.1023/A:1013613701606 [27] Focacci F、Laburthe F、Lodi A（2003）局部搜索和约束编程——ls和cp在运输问题上的说明。摘自：Milano M（ed）约束和整数规划——走向统一方法，第9章。Kluwer Dordrecht公司·Zbl 1140.90330号 [28] Focacci F，Lodi A，Milano M（1999）基于成本的域过滤。摘自：Jaffar J（ed）约束编程原理与实践国际会议论文集CP’99，第1713卷“LNCS”。施普林格，柏林-海德堡-纽约，第189-203页 [29] Freuder E，Régin JC（1999）使用约束元知识减少电弧一致性计算。人工智能107:125–148·Zbl 0911.68192号 ·doi:10.1016/S0004-3702（98）00105-2 [30] Fruhworth T（1998）约束处理规则的理论与实践。J逻辑程序规范发布约束逻辑程序，37:95–138 [31] Gendron B，Lebbah H，Pesant G（2005）基于约束规划的列生成中改进主问题和子问题之间的合作。收录：Bartak R，Milano M（eds）《关于组合优化问题约束规划中人工智能和或技术集成的国际会议论文集——CPAIOR，LNCS第3524卷》。施普林格，柏林-海德堡-纽约，第217-227页·Zbl 1133.68429号 [32] Grossmann IE，Jain V（2001）一类优化问题的混合milp/cp模型算法。信息J计算13:258–276·Zbl 1238.90106号 ·doi:10.1287/ijoc.13.4.258.9733 [33] Harvey WD，Ginsberg ML（1995）有限差异搜索。摘自：Mellish CS（ed）《第十四届国际人工智能联合会议论文集》（IJCAI-95），第1卷，第607-615页 [34] Hooker JN（2004）一种用于计划和调度的混合方法。在：Wallace M（ed）《约束规划的原则和实践国际会议论文集》——CP 2004，“LNCS”第3258卷。施普林格，柏林-海德堡-纽约，第305–316页·Zbl 1152.90445号 [35] Hooker JN（2005）计划和调度，以尽量减少延误。在：Van Beek P（ed）约束编程原理和实践国际会议记录–CP 2005，“LNCS”第3709卷。施普林格，柏林-海德堡，纽约，第314–327页·Zbl 1153.90423号 [36] Hooker JN，Ottosson G（2003），基于逻辑的Benders分解。数学课程96:33–60·Zbl 1023.90082号 [37] ILOG优化团队（2003）Concert技术 [38] ILOG优化团队（2005）Cplex 10.0用户手册 [39] Junger M，Thienel S（2000）ABACUS系统，用于整数规划和组合优化中的分支与切割与价格算法。Softw Pract实验30:1325–1352·Zbl 1147.90416号 ·doi:10.1002/1097-024X（200009）30:11<1325:：AID-SPE342>3.0.CO；2-T型 [40] Kamarainen O，El Sakkout H（2002）局部探测应用于调度。在：Van Hentenryck P（ed）约束规划原理和实践国际会议论文集，“LNCS”第2470卷。施普林格，柏林-海德堡-纽约，第155-171页·Zbl 1094.68646号 [41] Laburthe F，Caseau Y（2002）Salsa：搜索算法语言。限制条件7（3–4）：255–288·Zbl 1020.68028号 ·doi:10.1023/A:1020565317875 [42] Langley P（1992）系统和非系统搜索策略。摘自：Hendler J（ed）第一届人工智能规划系统国际会议论文集，AIPS。Morgan Kaufmann第145–152页 [43] Laporte G，Louveaux FV（1993）具有完全资源的随机整数规划的整数l形方法。运营Res Lett 13:133–142·Zbl 0793.90043号 ·doi:10.1016/0167-6377（93）90002-X [44] Laurière JL（1978）一种描述和解决组合问题的语言和程序。艺术智能10:29–127·Zbl 0374.68060号 ·doi:10.1016/0004-3702（78）90029-2 [45] Lemaréchal C（2003）拉格朗日无所不在。4或1:7–25·Zbl 1046.90064号 [46] Le Provost T，Wallace M（1993）clp方案上的广义约束传播。J逻辑程序16:319–359·兹比尔0783.68025 ·doi:10.1016/0743-1066（93）90047-K [47] Lin S，Kernighan B（1973）旅行商问题的有效启发式算法。运营研究21（2）：498–516·Zbl 0256.90038号 ·doi:10.1287/opre.21.2498 [48] Michel L，Van Hentenryck P（2000）《定位器》。限制条件5（1-2）：43–84·Zbl 0988.90015号 ·doi:10.1023/A:1009818401322 [49] Norkin VI，Pflug GC，Ruszczynski A（1998）随机全局优化的分枝定界方法。数学课程83:407–423 [50] Nowicki E，Smutnicki C（1996）针对车间作业问题的快速禁忌搜索算法。管理科学42（6）：797–813·Zbl 0880.90079号 ·doi:10.1287/mnsc.42.6.797 [51] Ouaja W，Richards B（2005）带宽受限路由的混合拉格朗日松弛：背包分解。摘自：2005年ACM应用计算研讨会论文集，第383–387页 [52] Perron L，Shaw P，Furnon V（2004）传播引导的大邻域搜索。在：Wallace M（ed）“约束编程原则和实践国际会议论文集CP2004”，“LNCS”第3258卷。施普林格，柏林-海德堡，纽约，第468–481页·Zbl 1152.68572号 [53] Pesant G，Gendreau M（1999）局部搜索方法的约束编程框架。亨利斯特杂志5（3）：255–279·Zbl 1064.90577号 ·doi:10.1023/A:1009694016861 [54] Refalo P（2000）约束规划模型和混合求解器的线性公式。摘自：Dechter R（ed）约束规划原理与实践国际会议论文集——CP 2000，“LNCS”1894卷。施普林格，柏林-海德堡-纽约·兹比尔1044.68792 [55] Régin JC（1994）CSP中差异约束的过滤算法。收录：Hayes-Roth B，Korf R（eds）《全国人工智能会议论文集-AAAI94》，第362-367页 [56] Régin JC（1999）全球基数约束与成本的弧一致性。载于：Jaffar J（ed）约束规划原理与实践国际会议论文集，CP’99，“LNCS”第1713卷。施普林格，柏林-海德堡-纽约，第390-404页 [57] Regin JC（2004）《全局约束和过滤算法》。In：米兰M（ed）约束和整数规划。Kluwer Dordrecht公司 [58] Rodosek R，Wallace M，Hajian MT（1999）《混合整数规划与约束逻辑规划集成的新方法》，组合学的最新进展。《Ann Oper Res》86:63–87·Zbl 0918.90109号 ·doi:10.1023/A：1018904229454 [59] Sannella M，Maloney J，Freeman Benson B，Borning A（1993）用户界面中的多向与单向约束：DeltaBlue算法的经验。软实践实验23（5）：529–566·doi:10.1002/spe.4380230507 [60] Schulte C，Stuckey PJ（2005）当边界和域传播导致相同的搜索空间时。ACM Trans程序语言系统27（3）：388–425·Zbl 05459334号 ·doi:10.1145/1065887.1065889 [61] Shaw P（1998）使用约束规划和局部搜索方法解决车辆路径问题。In:Maher M，Puget JF（eds）约束编程原理和实践国际会议论文集CP1998，“LNCS”第1520卷。施普林格，柏林-海德堡，纽约，417-431页 [62] Moura AV、Yunes TH、de Souza CC（2005）《城市公交乘务员管理问题的混合列生成方法》。运输科学39（2）：273–288·doi:10.1287/trsc.1030.0078 [63] 塔里木A，Manandhar S，Walsh T（2006）《随机约束规划：基于场景的方法》。限制11:53–80·Zbl 1103.68828号 ·doi:10.1007/s10601-006-6849-7 [64] Van Hentenryck P（1999）OPL优化编程语言。麻省理工学院出版社，剑桥 [65] Van Hentenryck P，Michel L（2005）基于约束的局部搜索。麻省理工学院出版社，剑桥·Zbl 1153.90582号 [66] Van Hoeve WJ（2006）《完全不同的约束：系统概述》，2006年。URL www.cs.cornell.edu/vanhoeve/papers/alldiff.pdfWalsh T（2002）随机约束编程。In：van Harmelen F（ed）欧洲人工智能会议记录，ECAI，IOS出版社 [67] Zhou NF（2005）动作规则中的有限域约束传播器。理论实践逻辑程序 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。