胡克，J.N。;瓦恩·霍伊夫。 约束编程和操作研究。 （英语） Zbl 1402.90148号 约束条件 23，第2期，172-195（2018）. 摘要：我们概述了约束规划（CP）和运筹学（OR）在解决组合优化问题中的集成。我们将CP和OR解释为依赖一种通用的主对偶解决方案方法，该方法为使用四种主要策略进行集成提供了基础。第一种策略在单个解算器中紧密交织了CP的传播和OR的松弛。第二种方法将OR技术应用于CP中的域过滤。第三种方法使用基于CP的列生成或基于逻辑的Benders分解，将问题分解为CP解决的部分和OR解决的部分。第四种方法使用为CP传播开发的宽松决策图来帮助解决OR中的动态规划模型。本文引用了有关CP/OR集成的大量文献，并对未来的前景进行了总结。 引用于2文件 MSC公司： 90C27型 组合优化 关键词：约束编程;运筹学;混合优化 软件：SIMPL公司;十二国集团;CP优化器;ILOG时间表;迷你锌;炸薯条;SCIP公司;SCIL公司;TSPTW公司 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{W.J.van Hoeve}，约束23，第2号，172--195（2018；Zbl 1402.90148） 全文： DOI程序 参考文献： [1] Achterberg，T，SCIP：求解约束整数程序，数学规划计算，1，1-41，（2008）·Zbl 1171.90476号 [2] Achterberg，T.、Berthold，T.，Koch，T.和Wolter，K.（2008）。一种集成CP和MIP的新方法。Perron，L.，&Trick，M.A.（编辑）CPAIOR会议录，《计算机科学讲义》，第5015卷，第6-20页。施普林格. ·Zbl 1142.68504号 [3] 阿贡，A；Beldiceanu，N，为了解决复杂的调度和布局问题而扩展CHIP，数学和计算机建模，17，57-73，（1993） [4] Ahuja，R.K.、Magnanti，T.L.和Orlin，J.B.（1993年）。线性规划与网络流，第3版。上鞍河：普伦蒂斯·霍尔·Zbl 1201.90001号 [5] Akers，SB，二进制决策图，IEEE计算机汇刊，C-27509-516，（1978）·Zbl 0377.94038号 [6] Althaus，E.、Bockmayr，A.、Elf，M.、Kasper，T.、Jüenger，M.和Mehlhorn，K.（2002）。整数线性规划中的符号约束。在第十届欧洲算法研讨会（ESA 2002），《计算机科学讲义》，第2461卷，第75-87页。施普林格. ·Zbl 1019.90515号 [7] Andersen，H.R.（1997）。二元决策图简介。课堂讲稿，在线提供哥本哈根：哥本哈根信息技术大学。 [8] Andersen，H.R.（2007）。基于多值决策图的约束存储。In Hadíić，T.，Hooker，J.N.，Tiedemann，P.，&Bessiere，C.（编辑）约束编程原理与实践（CP 2007），《计算机科学讲义》，第4741卷，第118-132页。施普林格. [9] 阿帕，G；Magos，D；Mourtos，I，《全不同系统的多面体方法》，《数学规划》，124，1-52，（2010）·Zbl 1257.90055号 [10] Appa，G.、Mourtos，I.和Magos，D.（2002年）。正交拉丁方问题的约束与整数规划集成。在Van Hentenryck，P.（编辑）《约束编程的原理与实践》（CP 2002），《计算机科学讲义》，第2470卷，第17-32页。施普林格. [11] Aron，I.、Hooker，J.N.和Yunes，T.H.（2004年）。SIMPL：集成优化技术的系统。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第21-36页。施普林格. ·兹比尔1094.68636 [12] Artigues，C；Gendreau，M；卢梭，LM；Vergnaud，A，《通过混合分支约束解决综合员工时间表和车间调度问题》，计算机与运营研究，362330-2340，（2009）·Zbl 1179.90119号 [13] Bacchus，F.、Dalmao，S.和Pitassi，T.（2014）。放松搜索：一种管理可选子句的简单方法。在AAAI人工智能会议，第835-841页. [14] 马萨诸塞州巴杰斯塔尼；Beck，JC，用有限的维修资源调度动态飞机维修车间，《人工智能研究杂志》，47，35-70，（2013）·Zbl 1276.68040号 [15] Bajgiran，O.、Cire，A.和Rousseau，L.M.（2017年）。首先看一下如何选择双重变量来最大化基于降低成本的修复。在Lombardi，M.和Salvagnin，D.（编辑）CPAIOR会议录，《计算机科学讲义》，第10335卷，第221-228页。施普林格. ·Zbl 1489.68246号 [16] 巴拉斯，E；博克迈尔，A；皮萨鲁克，N；Wolsey，L，《关于多胞体的并和优势》，《数学规划》，99223-239，（2004）·邮编1098.90092 [17] Baptiste，P.和Le Pape，C.（1996年）。用于分离和累积调度的边向约束传播算法。在英国规划特别利益小组第十五次研讨会会议记录。英国利物浦. [18] Baptiste，P.、Le Pape，C.和Nuijten，W.（2001）。基于约束的调度：将约束规划应用于调度问题多德雷赫特：克鲁沃·邮编1094.90002 [19] 巴恩哈特，C；约翰逊，EL；德国劳埃德船级社奈姆豪泽；Savelsbergh，MWP；Vance，PH，Branch-and-price:求解大型整数程序的列生成，运筹学，46，316-329，（1998）·Zbl 0979.90092号 [20] Beame，P.、Kautz，H.和Sabharwal，A.（2003年）。理解从句学习的力量。在国际人工智能联合会议（IJCAI 2003）. ·Zbl 1080.68651号 [21] 博蒙特，N，析取程序的算法，《欧洲运筹学杂志》，48362-371，（1990）·兹比尔074490062 [22] Beck，J.C.（2010年）。检查分行并检查。In Cohen，D.（编辑）约束编程的原理与实践（CP），计算机科学课堂讲稿，第6308卷，第84-98页. [23] 北贝尔迪塞努；Contejean，E，《CHIP中引入全局约束》，数学与计算机建模，12，97-123，（1994）·Zbl 0816.68048号 [24] Bellman，R.（1957）。动态编程普林斯顿：普林斯顿大学出版社·Zbl 0077.13605号 [25] Belov，G.、Stuckey，P.J.、Tack，G.和Wallace，M.（2016）。改进了约束规划模型的线性化。在CP会议录，《计算机科学讲义》，第9892卷，第49-65页。施普林格. [26] 苯硫醇，P；霍夫，WJ；雷金，JC；卢梭，LM；Rueher，M，加权电路约束的改进滤波，约束，17，205-233，（2012）·Zbl 1309.90115号 [27] Benders，JF，解决混合变量编程问题的分区程序，数值数学，4238-252，（1962）·Zbl 0109.38302号 [28] Benini，L.、Bertozzi，D.、Guerri，A.和Milano，M.（2005）。通过分解和不良生成为MPSoC分配和调度。在约束编程原理与实践（CP 2005），《计算机科学讲义》，第3709卷，第107-121页。施普林格. ·Zbl 1153.68448号 [29] Benini，L.、Lombardi，M.、Mantovani，M.，Milano，M.和Ruggiero，M.（2008）。用于优化多核架构的多级Benders分解。Perron，L.，&Trick，M.A.（编辑）CPAIOR会议录，《计算机科学讲义》，第5015卷，第36-50页。施普林格. ·Zbl 1142.68506号 [30] Benoist，T.、Laburthe，F.和Rottembourg，B.（2001年）。旅行竞赛问题的拉格朗日松弛和约束规划协作方案。收录于Gervet，C.和Wallace，M.（编辑）CPAIOR程序。英国阿什福德. [31] Bergman，D.和Cire，A.A.通过状态空间分解进行离散非线性优化。《管理科学》（即将出版）·Zbl 1368.90105号 [32] 伯格曼，D；Circe公司，AA公司；Hoeve，WJ，序列约束的MDD传播，JAIR，50697-722，（2014）·兹比尔1366.68072 [33] Bergman，D.、Cire，A.A.和van Hoeve，W.J.（2015）。通过拉格朗日分解改进约束传播。在CP会议录，《计算机科学讲义》，第9255卷，第30-38页。施普林格. [34] 伯格曼，D；西尔，AA；Hoeve，WJ，决策图中的拉格朗日边界，约束，20346-361，（2015）·Zbl 1327.90116号 [35] Bergman，D.、Cire，A.A.、van Hoeve，W.J.和Hooker，J.N.（2016）。优化决策图。柏林：斯普林格·Zbl 06653190号 [36] 伯格曼，D；西雷，AA；Hoeve，WJ，二元决策图的拉格朗日界，约束，20346-361，（2015）·Zbl 1327.90116号 [37] 伯格曼，D；西雷，AA；霍夫，WJ；胡克，JN，二元决策图的优化界限，计算信息杂志，26，253-268，（2013）·Zbl 1356.90083号 [38] 伯格曼，D；西雷，AA；霍夫，WJ；胡克，JN，用二进制决策图进行离散优化，INFORMS计算杂志，28，47-66，（2016）·Zbl 1338.90260号 [39] Bergman，D.、Ciré，A.A.、van Hoeve，W.J.和Hooker，J.N.（2017年）。优化决策图柏林：施普林格·Zbl 06653190号 [40] Bergman，D.和Hooker，J.N.（2012年）。从所有不同的系统中绘制着色面。Jussien，N.和Petit，T.（编辑）CPAIOR会议记录，第50-65页。施普林格. [41] 伯格曼，D；胡克，JN，《所有不同系统的图着色不等式》，《约束》，19，404-433，（2014）·Zbl 1316.90056号 [42] Bergman，D.、van Hoeve，W.J.和Hooker，J.N.（2011年）。操纵MDD松弛以进行组合优化。In Achterberg，T.和Beck，J.C.（编辑）CPIOR论文集，《计算机科学讲义》，第6697卷，第20-35页。施普林格. ·兹比尔1302.90166 [43] 博克梅尔，A；Kasper，T，Branch and infer:整数和有限域约束编程的统一框架，《计算信息杂志》，10287-300，（1998）·Zbl 1034.90517号 [44] Bockmayr，A.和Pisaruk，N.（2003）。使用约束规划检测混合整数规划的不可行性并生成割集。在Gendreau，M.、Pesant，G.和Rousseau，L.M.（编辑）CPAIOR会议录，计算机科学讲稿，第1234卷。施普林格. ·Zbl 1086.90041号 [45] Bockmayr，A.、Pisaruk，N.和Aggoun，A.（2001）。约束规划中的网络流问题。Walsh，T.（编辑）约束编程原理与实践（CP 2001），《计算机科学讲义》，第2239卷，第196-210页。施普林格. ·Zbl 1067.68618号 [46] Bollapragada，S；加塔斯，O；胡克，JN，通过混合逻辑和线性规划进行桁架结构的优化设计，运筹学，49，42-51，（2001）·Zbl 1163.90827号 [47] Borzabadi，A.H.和Sadjadi，M.E.（2009年）。基于逻辑Benders分解的混合系统最优控制。在Giua，A.、Mahulea，C.、Silva，M.和Zayton，J.（编辑）混合动力系统的分析与设计，第3卷，第104-107页. [48] Branch，S.、Narodytska，N.、Quimper，C.G.、Stuckey，P.和Walsh，T.（2007）。序列约束的编码。Bessiere，C.（编辑）约束编程原理与实践（CP 2007），《计算机科学讲义》，第4741卷，第210-224页。施普林格. ·Zbl 1145.68507号 [49] Brown，R.G.、Chinneck，J.W.和Karam，G.M.（1989）。约束规划系统优化。R.S.等人（编辑）《计算机最新进展对运筹学的影响》，《运筹学丛书》，第9卷，第463-473页。弗吉尼亚州威廉斯堡Elsevier. ·Zbl 0727.90047号 [50] 布鲁克，P；Thiele，O，用于具有序列相关设置时间的一般车间问题的分支定界方法，OR Spektrum，18，145-161，（1996）·Zbl 0852.90087号 [51] Bryant，RE，布尔函数操作的基于图形的算法，IEEE计算机学报，C-35，677-691，（1986）·Zbl 0593.94022号 [52] 坎巴扎德，H；Fages，JG，大气值及其加权变量的新滤波：拉格朗日方法，约束条件，20362-380，（2015）·兹比尔1327.90130 [53] Cambazard，H.、Hladik，P.E.、Déplanche，A.M.、Jussien，N.和Trinquet，Y.（2004）。硬实时任务分配问题的分解和学习。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第153-167页。施普林格. ·Zbl 1152.68545号 [54] Cambazard，H.和Jussien，N.（2005年）。使用基于解释的协同训练编程识别和利用问题结构。Barták，R.和Milano，M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3524卷，第94-109页。施普林格. ·Zbl 1133.90381号 [55] Cambazard，H.、O’Mahony，E.和O’Sullivan，B.（2010年）。多叶准直器排序问题的混合方法。In Lodi，A.，Milano，M.，&Toth，P.（编辑）CPAIOR会议录，《计算机科学讲义》，第6140卷，第56-70页。施普林格. ·Zbl 1285.68152号 [56] Cambazard，H.和Penz，B.（2012年）。旅行购买者问题的约束规划方法。在CP会议录，《计算机科学讲义》，第7514卷，第735-749页。施普林格. [57] Capone，A；卡雷洛，G；菲利皮尼，I；瓜兰地，南部；Malucelli，F，《解决无线网状网络中的资源分配问题：基于cp的列生成与经典列生成的比较》，networks，55，221-233，（2010）·Zbl 1200.90038号 [58] Carlier，J，单机器问题，《欧洲运筹学杂志》，11，42-47，（1982）·Zbl 0482.90045号 [59] Carlier，J；Pinson，E，《解决job-shop问题的算法》，《管理科学》，35，164-176，（1989）·兹比尔0677.90036 [60] Carlier，J；Pinson，E，《解决车间作业问题时杰克逊先发制人时间表的实际应用》，《运筹学年鉴》，第26期，第269-287页，（1990年）·Zbl 0709.90061号 [61] Carlier，J；Pinson，E，job-shop问题的头部和尾部调整，《欧洲运筹学杂志》，78，146-161，（1994）·Zbl 0812.90063号 [62] Caseau，Y.和Laburthe，F.（1994年）。改进了具有任务间隔的CLP调度。在第十一届逻辑程序设计国际会议记录（ICLP 1994），第369-383页。麻省理工学院出版社. [63] Caseau，Y.和Laburthe，F.（1997年）。解决有限制的小型TSP。In Naish，L.（编辑）《第十四届逻辑编程国际会议论文集》（ICLP 1997），第2833卷，第316-330页。麻省理工学院出版社. [64] Castro，P.M.和Grossmann，I.E.（2006年）。一种用于单阶段间歇工厂短期调度的高效MILP模型。技术报告，Departamento de Modelacáo e Simulacáo de Processos，INETI，里斯本。 [65] 乔班，E；胡克，JN，通过基于逻辑的弯曲分解实现单设施调度，运筹学年鉴，210，245-272，（2013）·Zbl 1284.90023号 [66] Chabrier，A.（2000年）。一种用于配对生成问题的合作CP和LP优化器方法。在CPAIOR程序。意大利费拉拉. [67] Chabrier，A.（2003）。启发性的分支和价格削减，以解决网络设计问题。在Gendreau，M.、Pesant，G.和Rousseau，L.M.（编辑）CPAIOR程序。蒙特勒. [68] 克里斯托菲德斯，N；Mingozzi，A；Toth，P，路由问题边界计算的状态空间松弛程序，网络，11，145-164，（1981）·Zbl 0458.90071号 [69] Chu，G.、Gange，G.和Stuckey，P.J.（2016）。基于子问题搜索的拉格朗日分解。在CPAIOR会议录，《计算机科学讲义》，第9676卷，第65-80页。施普林格. ·Zbl 1475.68338号 [70] Chu，Y.，&Xia，Q.（2005）。一类资源约束调度问题的混合算法。Barták，R.和Milano，M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3524卷，第110-124页。施普林格. ·Zbl 1133.90335号 [71] Chvátal，V.（1983年）。线性规划。西半球纽约：弗里曼·Zbl 0537.90067号 [72] Ciré，A.A.、Cooban，E.和Hooker，J.N.（2013）。用于规划和调度的混合整数规划与基于逻辑的Benders分解。在Gomes，C.和Sellmann，M.（编辑）CPAIOR程序，第325-331页. ·兹比尔1382.90061 [73] Corréa，a.I.、Langevin，a.和Rousseau，L.M.（2004年）。自动导引车的调度和无冲突路线：一种结合约束规划和混合整数规划的混合方法。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第370-378页。施普林格. ·Zbl 1094.90519号 [74] 科特斯，CE；Gendreau，M；卢梭，LM；Souyris，S；Weintraub，A，《解决现实技术人员调度问题的分支与价格和约束编程》，《欧洲运筹学杂志》，238300-312，（2014）·Zbl 1338.90048号 [75] Costa，MC，《最大基数二部匹配的持久性》，《运筹学快报》，第15期，第143-149页，（1994年）·Zbl 0810.90126号 [76] 科特，JF；德尔·阿米科，M；Iori，M，针对带钢包装问题的组合折弯机切割，运筹学，62，643-661，（2014）·Zbl 1302.90173号 [77] Cronholm，W.和Ajili，F.（2004）。用于网络设计的拉格朗日分解的强成本滤波。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第726-730页。施普林格. ·Zbl 1152.90354号 [78] Davies，T.O.、Gange，G.和Stuckey，P.J.（2017年）。基于逻辑的折弯机自动分解，含微量锌。在第31届AAAI人工智能会议（AAAI 2017），第787-793页. [79] Davies，T.O.、Pearce，A.R.、Stuckey，P.J.和Lipovetzky，N.（2015）。排序运算符计数。在国际自动规划和调度会议（ICAPS），第61-69页. [80] Delorme，M；伊奥里，M；Martello，S，正交下料问题的基于逻辑的弯曲分解=，计算机与运筹学，78，290-298，（2017）·Zbl 1391.90514号 [81] Demassey，S.、Artiques，C.和Michelon，P.（2002）。RCPSP的混合约束传播切割平面程序。In Jussien，N.和Laburthe，F.（编辑）《组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集》（CPAIOR 2002）。Le Croisic，法国. [82] Demassey，S.、Pesant，G.和Rousseau，L.M.（2005年）。用于员工时间表的基于约束编程的列生成。在Barták，R.和Milano，M.（编辑）组合优化问题约束程序设计中人工智能和OR技术的集成（CPAIOR 2005），《计算机科学讲义》，第3524卷，第140-154页。施普林格. ·Zbl 1133.90359号 [83] 德马西，S；佩森特，G；卢梭，LM，《基于成本-规则的混合柱生成方法》，约束，11，315-333，（2006）·Zbl 1117.90066号 [84] 多恩多夫，U；佩施，E；Phan Huy，T，解决开放式车间调度问题，《调度杂志》，4157-174，（2001）·Zbl 0991.90068号 [85] Doulabi，S.H.H.、Rousseau，L.M.和Pesant，G.（2014）。一种基于约束编程的手术室规划与调度列生成方法。在CPAIOR会议录，《计算机科学讲义》，第8451卷，第455-463页。施普林格. [86] 杜拉比，SHH；卢梭，LM；Pesant，G，《手术室规划和调度的一种基于约束编程的分支和价格削减方法》，《信息计算杂志》，28，432-448，（2016）·Zbl 1348.90271号 [87] Downing，N.、Feydy，T.和Stuckey，P.J.（2012年）。解释基于流的传播。在CPAIOR会议录，《计算机科学讲义》，第7298卷，第146-162页。施普林格. [88] Easton，K.、Nemhauser，G.和Trick，M.（2001年）。巡回赛问题描述和基准。Walsh，T.（编辑）约束编程原理与实践（CP 2001），《计算机科学讲义》，第2239卷，第580-584页。施普林格. ·Zbl 1067.68627号 [89] Easton，K.、Nemhauser，G.和Trick，M.（2002年）。求解巡回赛问题：整数规划和约束规划相结合的方法。在自动时间表实践和理论国际会议记录（PATAT 2002）. [90] Edis，E.B.和Oguz，C.（2011年）。具有额外资源的并行机器调度：一种基于拉格朗日的约束规划方法。在CPAIOR会议录，《计算机科学讲义》，第6697卷，第92-98页。施普林格. ·Zbl 1302.90078号 [91] Emeretlis，A.、Theodoridis，G.、Alefragis，P.和Voros，N.（2015）。使用基于逻辑的Benders分解在异构平台上映射DAG。在IEEE计算机学会VLSI年会（ISVLSI），第119-124页。电气与电子工程师协会. [92] 埃施勒，J；洛佩兹，P；Esquirol，P，《能源法》。RAIRO自动化，生产，工业信息，26453-481，（1992）·Zbl 0774.90046号 [93] 埃施勒，J；洛佩兹，P；Thuriot，C，Raisonnement tempolel sous containtes de resource et problèmes d'ordonancement，《情报技术评论》，5，7-32，（1991） [94] Fahle，T；容克，U；东南部卡里什；科恩，N；Sellmann，M；Vaaben，B，基于约束编程的乘员分配列生成，《启发式杂志》，8，59-81，（2002）·兹比尔1073.90542 [95] Fazel-Zarandi，MM，《使用基于逻辑的弯曲分解解决容量和距离约束的工厂选址问题》，《信息计算杂志》，24，387-398，（2012）·Zbl 1462.90065号 [96] Fazel-Zarandi，M.M.和Beck，J.C.（2009年）。使用基于逻辑的Benders分解解决位置分配问题。In Gent，I.P.（编辑）约束编程原理与实践（CP 2009），计算机科学课堂讲稿，第5732卷，第344-351页纽约：Springer。 [97] Focacci，F.、Lodi，A.和Milano，M.（1999年）。基于成本的域过滤。Jaffar，J.（Ed.）约束编程原理与实践（CP 1999），《计算机科学讲义》，第1713卷，第189-203页。施普林格. ·Zbl 0929.00071号 [98] Focacci，F.、Lodi，A.和Milano，M.（1999年）。用带约束的时间窗求解TSP。在国际逻辑程序设计会议（ICLP 1999），第515-529页。麻省理工学院出版社. [99] Focacci，F.、Lodi，A.和Milano，M.（2000）。约束编程中的切割平面：一种混合方法。Dechter，R.（编辑）约束编程原理与实践（CP 2000），《计算机科学讲义》，第1894卷，第187-201页。施普林格. ·Zbl 1044.68758号 [100] 福卡奇，F；洛迪，A；Milano，M，TSPTW的混合精确算法，计算信息杂志，14，403-417，（2002）·Zbl 1238.90054号 [101] 福卡奇，F；洛迪，A；Milano，M，《在求解TSP和TSPTW的全局约束中嵌入松弛》，《数学和人工智能年鉴》，34，291-311，（2002）·Zbl 1002.68159号 [102] 福卡奇，F；洛迪，A；Milano，M，面向优化的全局约束，约束，7351-365，（2002）·Zbl 1028.68024号 [103] Focacci，F.和Nuijten，W.P.M.（2000）。一种用于序列相关设置时间调度的约束传播算法。在Junker，U.、Karisch，S.E.和Tschöke，S.（编辑）组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集（CPAIOR 2000）（第53-55页）。德国：帕德博恩。 [104] Fontaine，D.、Michel，L.D.和Hentenryck，P.V.（2014）。基于约束的拉格朗日松弛。在CP会议录，《计算机科学讲义》，第8656卷，第324-339页。施普林格. [105] Gabteni，S.和Grönkvist，M.（2006年）。用于尾部分配问题的混合列生成和约束规划优化器。在CPAIOR会议录，《计算机科学讲义》，第3990卷，第89-103页。施普林格. ·Zbl 1177.90342号 [106] Gabteni，S；Grönkvist，M，结合列生成和约束编程解决尾部分配问题，运筹学年鉴，171，61-76，（2009）·Zbl 1179.90207号 [107] 加芬克尔，R；Nemhauser，GL，《通过隐式枚举技术实现最优政治区划》，《管理科学》，第16期，第495-b508页，（1970年）·Zbl 0195.22103号 [108] Gaudin，E.、Jussien，N.和Rochart，G.（2004）。实施已解释的全局约束。在CP’04约束传播与实现研讨会论文集，第61-76页. [109] Gellermann，T.、Sellmann，M.和Wright，R.（2005）。资源受限最短路径问题的较短路径约束。Barták，R.和Milano，M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3524卷，第201-216页。施普林格. ·Zbl 1133.90404号 [110] Gendron，B.、Lebbah，H.和Pesant，G.（2005）。改进基于约束规划的列生成中主问题和子问题之间的合作。Barták，R.和Milano，M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3524卷，第217-227页。施普林格. ·Zbl 1133.68429号 [111] German，G.、Briant，O.、Cambazard，H.和Jost，V.（2017）。通过线性规划实现圆弧一致性。在CP会议记录，LNCS，第10416卷，第114-128页。施普林格. [112] Glover，F，凸二分图中的最大匹配，海军研究后勤季刊，316313-316，（1967）·兹比尔0183.24501 [113] Gomes，C.P.和Sellmann，M.（编辑）。(2013).决策图和动态编程，计算机科学课堂讲稿第7874卷。柏林：斯普林格·Zbl 1382.90113号 [114] Gong，J.、Lee，E.E.、Mitchell，J.E.和Wallace，W.A.（2009年）。基于逻辑的恢复规划多目标优化。在Chaovalitwingse，W.，Furman，K.C.，&Pardalos，P.M.（编辑）企业中的优化和物流挑战，第305-324页。施普林格. ·Zbl 1172.90483号 [115] Grönkvist，M.（2004）。尾部分配的约束规划模型。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第142-156页。施普林格. ·Zbl 1094.68644号 [116] Grönkvist，M，使用约束传播加速飞机调度列生成，计算机与运筹学，33，2918-2934，（2006）·Zbl 1086.90023号 [117] 格罗斯曼，IE；胡克，JN；拉曼，R；Yan，H，固定费用处理网络的逻辑切割，计算机与运筹学，21，265-279，（1994）·Zbl 0789.90057号 [118] Gu，H.、Schutt，A.和Stuckey，P.J.（2013）。一种基于拉格朗日松弛的前后向改进启发式算法，用于资源约束项目的净现值最大化。在CPAIOR会议录，《计算机科学讲义》，第7874卷，第340-346页。施普林格. ·Zbl 1382.90120号 [119] Gualandi，M.（2009年）\（k）-通过混合CP和SDP方法聚类最小双液完成。In van Hoeve，W.J.和Hooker，J.N.（编辑）CPAIOR会议录，计算机科学讲稿，第5547卷（第87-101页）。纽约：施普林格·Zbl 1241.68101号 [120] 瓜兰地，南部；Malucelli，F，通过约束编程和列生成精确解决图着色问题，INFORMS计算杂志，24，81-100，（2012）·Zbl 1461.05091号 [121] Gualandi，S.和Malucelli，F.（2012年）。具有超可加目标函数的资源约束最短路径。在CP会议录，《计算机科学讲义》，第7514卷，第299-315页。施普林格. [122] 吉格纳德，M；Kim，S，拉格朗日分解：产生更强拉格朗日边界的模型，数学规划，39215-228，（1987）·兹比尔0638.90074 [123] Ha，M.H.、Quimper，C.G.和Rousseau，L.M.（2015）。约束程序的通用边界机制。在CP会议录，《计算机科学讲义》，第9255卷，第158-172页。施普林格. [124] Hadíić，T.，&Hooker，J.N.（2006年）。二元决策图的离散全局优化。在全局优化研讨会：集成凸性、优化、逻辑编程和计算代数几何（GICOLAG）。维也纳. [125] Hadíić，T.，&Hooker，J.N.（2006年）。使用二进制决策图进行整数规划的后优化分析，在GICOLAG研讨会（全局优化：集成凸性、优化、逻辑编程和计算代数几何）上提出，维也纳，卡内基梅隆大学技术代表。 [126] Hadíić，T.，&Hooker，J.N.（2007年）。0-1编程的有界二进制决策图。在van Hentemryck，P.和Wolsey，L.（编辑）CPAIOR会议录，《计算机科学讲义》，第4510卷，第332-345页。施普林格. [127] Hadíić，T.、Hooker，J.N.和Tiedemann，P.（2008）。在MD存储中传播可分离不等式。Perron，L.，&Trick，M.A.（编辑）CPAIOR会议录，《计算机科学讲义》，第5015卷，第318-322页。施普林格. [128] Hamdi，I.和Loukil，T.（2013年）。基于逻辑的Benders分解求解具有时滞的置换流水车间调度问题。在国际建模、仿真和应用优化会议（ICMSAO），第1-7页。电气与电子工程师协会. [129] Harjunkoski，我；Grossmann，IE，使用混合整数和约束编程方法的多级调度问题分解技术，计算机与化学工程，261533-1552，（2002） [130] Heching，A.和Hooker，J.N.（2016年）。使用基于逻辑的Benders分解安排家庭临终关怀。In Quimper，C.G.（编辑）CPAIOR会议录，《计算机科学讲义》，第9676卷，第187-197页。施普林格. ·Zbl 1479.90094号 [131] Hellsten，L.、Pesant，G.和van Beek，P.（2004）。拉伸约束的域一致性算法。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第290-304页。施普林格. ·Zbl 1152.68557号 [132] Herbrard，E.、O'Mahony，E.和O'Sullivan，B.（2010年）。一种资源约束项目调度的约束整数规划方法。In Lodi，A.，Milano，M.，&Toth，P.（编辑）CPAIOR会议录，《计算机科学讲义》，第6140卷，第313-317页。施普林格. ·兹比尔1285.90045 [133] 赫拉迪克，PE；坎巴扎德，H；Déplanche，上午；Jussien，N，用约束编程解决实时分配问题，《系统与软件杂志》，81，132-149，（2008） [134] Hoda，S.、van Hoeve，W.J.和Hooker，J.N.（2010年）。基于MDD的约束编程的系统方法。在第16届约束编程原理与实践国际会议论文集，计算机科学讲义。施普林格. [135] van Hoeve，W.J.（2011）。过度约束的问题。In Hentenryck，P.V.，&Milano，M.（编辑）混合优化：CPAIOR的十年，第191-225页。施普林格. ·Zbl 1206.90184号 [136] van Hoeve，W.J.、Gomes，C.P.、Selman，B.和Lombardi，M.（2007）。带约束规划的多智能体优化调度。在AAAI会议记录，第1813-1818页。AAAI出版社. [137] 霍夫，WJ；佩森特，G；卢梭，LM，《全球变暖：基于流动的全球软约束》，《启发式杂志》，12，347-373，（2006）·Zbl 1100.68623号 [138] 霍夫，WJ；佩森特，G；卢梭，LM；Sabharwal，A，约束组合的新过滤算法，约束，14，273-292，（2009）·Zbl 1186.68552号 [139] 胡克，J.N.（1994）。基于逻辑的优化方法。In Borning，A.（编辑）约束编程原理与实践（CP 2002），《计算机科学讲义》，第874卷，第336-349页。施普林格. ·Zbl 0802.0046号 [140] 胡克，J.N.（1995）。基于逻辑的Benders分解。在INFORMS全国会议（INFORMS1995）. ·Zbl 1023.90082号 [141] 胡克，J.N.（2000）。基于逻辑的优化方法：结合优化和约束满足纽约：Wiley·Zbl 0974.90001号 [142] Hooker，JN，逻辑、优化和约束编程，INFORMS计算期刊，14295-321，（2002）·兹比尔1238.90002 [143] 胡克，J.N.（2003）。集成解决方案方法的框架。In Bhargava，H.K.，&Ye，M.（编辑）网络世界中的计算建模和问题解决（ICS2003年会议录），第3-30页。克鲁沃. ·Zbl 1055.68101号 [144] 胡克，JN，《计划和调度的混合方法》，《约束》，10385-401，（2005）·邮编1122.90054 [145] 胡克，J.N.（2005）。计划和安排以尽量减少延误。在约束编程原理与实践（CP 2005），《计算机科学讲义》，第3709卷，第314-327页。施普林格. ·Zbl 1153.90423号 [146] 胡克，JN，《减少延误的规划和调度综合方法》，《限制》，第11期，第139-157页，（2006年）·Zbl 1103.68811号 [147] 胡克，J.N.（2007）。集成优化方法柏林：施普林格·邮编1122.90002 [148] 胡克，JN，《基于逻辑的折弯机分解的规划和调度》，运筹学，55，588-602，（2007）·Zbl 1167.90512号 [149] 胡克，J.N.（2012）。综合优化方法，第2版，柏林：施普林格出版社·Zbl 1263.90002号 [150] JN胡克（Hooker），《投影、一致性》（Projection，consistency）和乔治·布尔（george Boole），《约束》（Constraints），第21期，第59-76页，（2016年）·Zbl 1396.03041号 [151] 胡克，J.N.（2016）。投射、推理和一致性。在IJCAI 2016年会议记录，第4175-4179页. [152] 胡克，JN；Osorio，MA，混合逻辑/线性规划，离散应用数学，96-97395-442，（1999）·Zbl 0945.90031号 [153] 胡克，JN；Ottosson，G，基于逻辑的弯曲分解，数学规划，96，33-60，（2003）·Zbl 1023.90082号 [154] 胡克，JN；奥托森，G；托尔斯泰森，ES；Kim，HJ，统一优化和约束满足方法的方案，《知识工程评论》，第15期，第11-30页，（2000） [155] JE霍普克罗夫特；Karp，RM，二分图中最大匹配的n5/2算法，SIAM计算杂志，225-231，（1973）·Zbl 0266.05114号 [156] 贾恩，V；Grossmann，IE，一类优化问题的混合MILP/CP模型的算法，INFORMS计算杂志，13258-276，（2001）·Zbl 1238.90106号 [157] Junker，U.、Karish，S.E.、Kohl，N.、Vaaben，B.、Fahle，T.和Sellmann，M.（1999）。基于约束编程的列生成框架。Jaffar，J.（编辑）约束编程原理与实践（CP 1999），《计算机科学讲义》，第1713卷，第261-275页。施普林格. ·Zbl 0983.90059号 [158] Jussien，N.（2003）。在约束编程中使用解释的多功能性。研究报告法国：南特矿业公司。 [159] Jussien，N.和Barichard，V.（2000年）。PaLM系统：基于解释的约束编程。在TRICS会议录：《实现约束编程系统的技术》，CP 2000会后研讨会，第118-133页. [160] Jussien，N.和Ouis，S.（2001年）。约束编程的用户友好解释。在第十一届逻辑编程环境研讨会（WLPE 2001）塞浦路斯：帕福斯。 [161] Katriel，I.和Thiel，S.（2003年）。全局基数约束的快速绑定一致性。罗西·F（编辑）约束编程原理与实践（CP 2003），《计算机科学讲义》，第2833卷，第437-451页。施普林格. ·Zbl 1273.68400号 [162] Khemmoudj，M.O.、Bennaceur，H.和Nagih，A.（2005年）。结合弧一致性和对偶拉格朗日松弛滤波CSP。Barták，R.和Milano，M.（编辑）AI和OR技术在组合优化问题约束编程中的集成（CPAIOR 2005），《计算机科学讲义》，第3524卷，第258-272页。施普林格. ·Zbl 1133.90405号 [163] 金，HJ；胡克，JN，用混合优化和约束编程方法解决固定费用网络流问题，运筹学年鉴，115，95-124，（2002）·Zbl 1013.90010号 [164] Kinable，J；西尔，AA；Hoeve，WJ，时间相关排序问题的混合优化方法，《欧洲运筹学杂志》，259887-897，（2017）·Zbl 1402.90053号 [165] Kinable，J.和Trick，M.（2014年）。基于逻辑的Benders方法解决具体交付问题。Simonis，H.（编辑）CPIOR论文集，《计算机科学讲义》，第8451卷，第176-192页。施普林格. [166] Kohl，N.（2000年）。or和cp技术在现实世界船员调度系统中的应用。在组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集（CPAIOR 2000）德国：帕德博恩。 [167] 拉博里，P；Rogerie，J，IBM ILOG CP优化器中的时间线性松弛，J.Scheduling，19，391-400，（2016）·Zbl 1347.90044号 [168] Lauriöre，JL，陈述和解决组合问题的语言和程序，人工智能，10，29-127，（1978）·Zbl 0374.68060号 [169] Lam，E；Hentenryck，P，带位置拥堵的车辆路径问题的分支和价格检查模型，约束，21394-412，（2016）·Zbl 1368.90115号 [170] Lam，E.和Van Hentenryck，P.（2017年）。分支并检查带有时间窗口的车辆路线问题的解释。J.C.Beck（编辑）2017年8月28日至9月1日，第23届约束编程原理与实践国际会议记录。澳大利亚维多利亚州墨尔本（第579-595页）。 [171] Lee，J.和Leung，K.（2009年）。在加权约束满足中实现全局约束的高效一致性。在IJCAI会议记录，第559-565页. [172] Little，J.和Darby-Dowman，K.（1995年）。约束逻辑编程对运筹学的意义。Lawrence，M.和Wilsden，C.（编辑）运筹学指导论文（1995年运筹学学会会议特邀指导论文），第20-45页. [173] Liu，W.，Yuan，M.，He，X.，Gu，Z.，&Liu，X.（2008）。基于SAT的同构同步数据流图的高效映射和调度，用于吞吐量优化。在实时系统研讨会，第492-504页。电气与电子工程师协会. [174] Lombardi，M.和Gualandi，S.（2013年）。经验模型学习中两层神经网络的新传播器。在CP会议录，《计算机科学讲义》，第8124卷，第448-463页。施普林格. [175] 伦巴第，M；Gualandi，S，约束规划中人工神经网络的拉格朗日传播算子，约束，21435-462，（2016）·Zbl 1368.90148号 [176] 伦巴第，M；米兰，M；Ruggiero，M；Benini，L，多处理器系统中条件任务图的随机分配与调度——片上，调度杂志，13，315-345，（2010）·兹比尔1232.68017 [177] Lovász，L.和Plummer，M.（1986年）。匹配理论，第29卷。北荷兰：离散数学年鉴·Zbl 0618.05001号 [178] Maher，M.J.（2009年）。SOGgy约束：软开放全局约束。在CP会议录，《计算机科学讲义》，第5732卷，第584-591页。施普林格. [179] Maher，M.J.、Narodytska，N.、Quimper，C.G.和Walsh，T.（2008）。序列和相关全局约束的基于流的传播器。In Stuckey，P.J.（编辑）约束编程原理与实践（CP 2008），《计算机科学讲义》，第5202卷，第159-174页。施普林格. [180] Maravelias，C.T.和Grossmann，I.E.（2004）。将MILP和CP用于间歇化工过程的调度。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第1-20页。施普林格. ·Zbl 1094.90559号 [181] Mehlhorn，K.和Thiel，S.（2000年）。排序和所有不同约束的有界一致性的更快算法。Dechter，R.（编辑）约束编程原理与实践（CP 2000），《计算机科学讲义》，第1894卷，第306-319页。施普林格. ·Zbl 1044.68783号 [182] Menana，J.和Demassey，S.（2009年）。多st-regular约束下的排序与计数。在CPAIOR会议录，《计算机科学讲义》，第5547卷，第178-192页。施普林格. ·Zbl 1241.68104号 [183] Métiver，J.P.、Boizumault，P.和Loudni，S.（2007年）。∑-AllDifferent：软化加权CSP中的AllDifference。在第19届IEEE人工智能工具国际会议论文集，第223-230页。电气与电子工程师协会. [184] Métiver，J.P.、Boizumault，P.和Loudni，S.（2009年）。使用首选项软化Gcc和Regular。在2009年美国计算机学会应用计算（SAC）研讨会论文集，第1392-1396页。ACM公司. [185] Métiver，J.P.、Boizumault，P.和Loudni，S.（2009年）。使用软全局约束解决护士排班问题。在CP会议录，《计算机科学讲义》，第5732卷，第73-87页。施普林格. [186] Milano，M.和van Hoeve，W.J.（2002）。降低了生成有希望的子问题的基于成本的排名。范·亨特利克（Van Hentenryck），P.（Ed.）《约束编程的原理与实践》（CP 2002），《计算机科学讲义》，第2470卷，第1-16页。施普林格. [187] Mingozzi，A.（2002年）。动态规划中的状态空间松弛和搜索策略。在《抽象、重构和近似学报》，《计算机科学讲义》，第2371卷，第51-51页。施普林格. ·Zbl 1077.90553号 [188] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.和Tack，G.（2007）。Minizin：走向标准CP建模语言。Bessiere，C.（编辑）约束编程原理与实践（CP 2007），《计算机科学讲义》，第4741卷，第529-543页。施普林格. [189] 南丁格尔，P；奥兰多·阿肯；Gent，IP；杰斐逊，C；米格尔，我；Spracklen，P，《自动改进savile行中的约束模型》，人工智能，251，35-61，（2017）·Zbl 1419.68099号 [190] Nuijten，W.P.M.（1994）。时间和资源受限的调度。博士论文。埃因霍温：埃因霍芬理工大学·Zbl 0837.90068号 [191] Nuijten，W.P.M.和Aarts，E.H.L.（1994）。多能力约束车间调度的约束满足。In Cohn，A.（编辑）《第十一届欧洲人工智能会议记录》（ECAI 1994），第635-639页。威利. [192] Nuijten，WPM；Aarts，EHL，多能力约束车间调度约束满足的计算研究，欧洲运筹学杂志，90，269-284，（1996）·Zbl 0916.90152号 [193] Nuijten，W.P.M.，Aarts，E.H.L.，van Erp Taalman Kip，D.A.A.和van Hee，K.M.（1993）。job-shop调度的随机约束满足。在基于知识的生产计划、调度和控制AAAI-SIGMAN研讨会. [194] Osorio，M.和Glover，F.（2001年）。多维背包问题中使用代理约束分析的逻辑切割。收录于Gervet，C.和Wallace，M.（编辑）《组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集》（CPAIOR 2001）。英国阿什福德. [195] Ottosson，G.、Thorsteinsson，E.和Hooker，J.N.（1999）。混合IP-CLP求解器中的混合全局约束和推理。在CP99关于大规模组合优化和约束的会后研讨会会议记录. http://www.dash.co.uk/wscp99（第57-78页）·兹比尔1026.90062 [196] 奥托森，G；托尔斯泰森，E；胡克，JN，混合CLP-IP求解器中的混合全局约束和推理，数学和人工智能年鉴，34，271-290，（2002）·Zbl 1026.90062号 [197] Perez，G.和Régin，J.C.（2015）。在mdd上进行高效操作以构建约束编程模型。在IJCAI会议记录，第374-380页. [198] Perez，G.和Régin，J.C.（2016）。基于MDD的约束的构造和就地操作。在CPAIOR会议记录，LNCS，第9676卷，第279-293页。施普林格. ·Zbl 1475.68354号 [199] Perez，G.和Régin，J.C.（2017年）。MDD是高效的建模工具：对一些统计约束的应用。在CPAIOR会议记录，LNCS，第10335卷，第30-40页。施普林格. ·Zbl 1489.68257号 [200] Pesant，G.（2001）。拉伸约束的过滤算法。Walsh，T.（编辑）约束编程原理与实践（CP 2001），《计算机科学讲义》，第2239卷，第183-195页。施普林格. ·Zbl 1067.68140号 【201】 Pesant，G.（2004）。有限变量序列的正则语言成员约束。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第482-495页。施普林格. ·Zbl 1152.68573号 [202] 皮辛格，D；Sigurd，M，《使用分解技术和约束编程解决二维bin-packing问题》，INFORMS Journal on Computing，19，36-51，（2007）·Zbl 1241.90118号 [203] 鲍威尔，W.B.（2007）。近似动态规划：解决维数问题（概率统计中的威利级数）纽约：Wiley-Interscience·Zbl 1156.90021号 [204] Quadrifoglio，L.、Dessouky，M.M.和Nez，F.O.（2008年）。机动性津贴穿梭运输（MAST）服务：制定MIP并加强逻辑约束。Perron，L.，&Trick，M.A.（编辑）CPAIOR会议录，《计算机科学讲义》，第5015卷，第387-391页。施普林格. ·兹比尔1137.90336 [205] 拉斯穆森，R；Trick，MA，约束最小断裂问题的弯曲方法，《欧洲运筹学杂志》，177198-213，（2007）·Zbl 1102.90026号 [206] Refalo，P.（1999）。紧密合作及其在分段线性优化中的应用。Jaffar，J.（编辑）约束编程原理与实践（CP 1999），《计算机科学讲义》，第1713卷，第375-389页。施普林格. [207] Refalo，P.（2000）。约束规划模型和混合求解器的线性公式。Dechter，R.（编辑）约束编程原理与实践（CP 2000），《计算机科学讲义》，第1894卷，第369-383页。施普林格. ·Zbl 1044.68792号 [208] 雷金，J.C.（1994）。CSP中差异约束的过滤算法。在全国人工智能会议（AAAI 1994），第362-367页。AAAI出版社. [209] Régin，J.C.（1996年）。全局基数约束的广义弧一致性。在全国人工智能会议（AAAI 1996），第209-215页。AAAI出版社. [210] Régin，J.C.（1999）。具有成本的全局基数约束的弧一致性。在CP会议录，《计算机科学讲义》，第1713卷，第390-404页。施普林格. [211] 雷金，JC，全球基数约束的基于成本的弧一致性，约束，7387-405，（2002）·Zbl 1028.68157号 [212] Riedler，M.和Raidl，G.（2016）。使用基于逻辑的Benders分解解决选择性拨号乘坐问题。技术报告AC-TR-16-007TU Wien：计算机图形与算法研究所·Zbl 1458.90131号 [213] 罗德谢克，R；华莱士，M；Hajian，M，混合整数规划与约束逻辑规划集成的新方法，运筹学年鉴，86，63-87，（1999）·Zbl 0918.90109号 [214] 卢梭，L.M.（2004）。基于约束编程的列生成的稳定性问题。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第402-408页。施普林格. ·Zbl 1094.68655号 [215] Rousseau，L.M.、Gendreau，M.和Pesant，G.（2002年）。使用基于约束编程的列生成解决小型VRPTW。在Jussien，N.和Laburthe，F.（编辑）组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集（CPIOR 2002）法国：《克罗地亚人》·Zbl 1062.90007号 [216] 卢梭，LM；Gendreau，M；佩森特，G；Focacci，F，使用基于约束编程的列生成解决VRPTW，运筹学年鉴，130，199-216，（2004）·Zbl 1062.90007号 [217] Ruggiero，M.、Guerri，A.、Bertozzi，D.、Poletti，F.和Milano，M.（2006年）。面向流的片上多处理器系统的通信感知分配和调度框架。在欧洲设计、自动化和测试会议记录，第3-8页。欧洲设计与自动化协会. [218] Sadykov，R.（2004）。一种求解单机调度问题的混合分枝切割算法。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第409-415页。施普林格. ·Zbl 1094.90562号 [219] 萨迪科夫，R；Wolsey，LA，Integer programming and constraint-programming in solution a multi-machine assignment scheduling problem with the terminal and release dates，INFORMS Journal on Computing，18，209-217，（2006）（整数编程和约束编程在解决带截止日期和发布日期的·Zbl 1241.90056号 [220] Salvagnin，D.和Walsh，T.（2012年）。一种用于多活动轮班调度的混合MIP/CP方法。在米兰，M.（Ed.）约束编程原理与实践，《计算机科学讲义》，第7514卷，第633-646页。施普林格. [221] Satish，N.、Ravindran，K.和Keutzer，K.（2007年）。一种基于分解的约束优化方法，用于静态调度具有多处理器通信延迟的任务图。在欧洲设计、自动化和测试会议记录，第57-62页。EDA社团. [222] Sellmann，M.（2004）。基于约束规划的拉格朗日松弛理论基础。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第634-647页。施普林格. ·Zbl 1152.68584号 [223] Sellmann，M.和Fahle，T.（2001）。多媒体应用中基于约束编程的拉格朗日松弛法。收录于Gervet，C.和Wallace，M.（编辑）组合优化问题约束规划中人工智能与运筹学技术集成国际研讨会论文集（CPAIOR 2001）阿什福德：英国·Zbl 1159.90479号 [224] 塞尔曼，M；Fahle，T，用于自动记录问题的基于约束编程的拉格朗日松弛，运筹学年鉴，118，17-33，（2003）·兹比尔1026.90510 [225] Sellmann，M.、Kliewer，G.和Koberstein，A.（2002年）。电容网络设计的拉格朗日基数切割和变量固定。在《欧空局学报》，《计算机科学讲义》，第2461卷，第845-858页。施普林格. ·1040.90004兹罗提 [226] Sellmann，M；Zervoudakis，K；Stamatopoulos，P；Fahle，T，《通过约束规划进行乘员分配：集成列生成和启发式树搜索》，《运筹学年鉴》，115，207-225，（2002）·Zbl 1013.90091号 [227] Shen，K.和Schimpf，J.（2005）。Eplex：利用数学编程求解器进行约束逻辑编程。在CP会议录，《计算机科学讲义》，第3709卷，第622-636页。施普林格. [228] Smith，B.M.、Brailsford，S.C.、Hubbard，P.M.和Williams，H.P.（1995）。累进方问题：整数线性规划与约束规划的比较。在Montanari，U.和Rossi，F.（编辑）约束编程原理与实践（CP 1995），《计算机科学讲义》，第976卷，第36-52页。施普林格. [229] Steiger，R.、van Hoeve，W.J.和Szymanek，R.（2011）。一种有效的通用网络流约束。在美国计算机学会应用计算研讨会（SAC）会议记录，第893-900页. [230] Stuckey，P.J，de la Banda，M.G.，Maher，M.，Marriott，K.，Slaney，J.，Somogyi，Z.，Wallace，M.和Walsh，T.（2005）。G12项目：将独立于求解器的模型映射到高效的解决方案。In van Beek，P.（编辑）约束编程原理与实践（CP 2005），《计算机科学讲义》，第3668卷，第314-327页。施普林格. ·Zbl 1165.68517号 [231] 塔什肯恩，ZC；JC史密斯；艾哈迈德，S；Schaefer，AJ，求解随机边划分问题的割平面算法，离散优化，6420-435，（2009）·Zbl 1179.90322号 [232] 塔里木，S.、阿玛根，S.和米格尔，I.（2006）。求解具有线性资源的随机约束规划的混合Benders分解方法。In Hnich，B.、Carlsson，M.、Fages，F.和Rossi，F.（编辑）约束求解和约束逻辑编程国际研讨会（CSCLP），第133-148页。施普林格. ·Zbl 1180.68252号 [233] Terekhov，D.、Beck，J.C.和Brown，K.N.（2007年）。用约束规划求解随机排队设计与控制问题。在《第二十二届全国人工智能会议记录》（AAAI 2007），第1卷，第261-266页。AAAI出版社. [234] Thorsteinsson，E.（2001年）。分支和检查：一个集成了混合整数编程和约束逻辑编程的混合框架。Walsh，T.（编辑）约束编程原理与实践（CP 2001），《计算机科学讲义》，第2239卷，第16-30页。施普林格. ·Zbl 1067.68677号 [235] Timpe，C，用组合整数和约束规划解决规划和调度问题，OR Spectrum，24431-448，（2002）·Zbl 1028.90017号 [236] Tjandratmadja，C.和van Hoeve，W.J.目标从宽松的决策图中剪切。信息计算杂志（即将出版）·Zbl 1474.90291号 [237] 托雷斯，P；Lopez，P，论析取调度中的非第一/非最后条件，《欧洲运筹学杂志》，127，332-343，（2000）·Zbl 0990.90049号 [238] Tran，T.T.和Beck，J.C.（2012年）。基于逻辑的Benders分解，用于具有序列相关设置的替代资源调度。在欧洲人工智能会议，《人工智能和应用的前沿》，第242卷，第774-779页。IOS出版社. ·Zbl 1327.90075号 [239] Trick，M.（2001）。背包约束一致性和传播的动态规划方法。收录于Gervet，C.和Wallace，M.（编辑）组合优化问题约束编程中AI和OR技术的集成（CPAIOR 2001）（第113-124页）。阿什福德：英国。 [240] Trick，MA，背包约束一致性和传播的动态规划方法，运筹学年鉴，11873-84，（2003）·Zbl 1027.90075号 [241] Trick，M.A.和Yildiz，H.（2007年）。Benders切割引导搜索巡回裁判问题。在van Hentemryck，P.和Wolsey，L.（编辑）CPAIOR会议录，《计算机科学讲义》，第4510卷，第332-345页。施普林格. ·Zbl 1214.90106号 [242] 马里兰州Tu̇rkay；Grossmann，IE，用于过程网络优化综合的基于逻辑的MINLP算法，计算机与化学工程，20959-978，（1996） [243] Van Hentenryck，P.、Lustig，I.、Michel，L.和Puget，J.F.（1999）。OPL优化编程语言。剑桥：麻省理工学院出版社。 [244] van Hoeve，W.J.（2003）。稳定集问题的混合约束规划和半定规划方法。罗西·F（编辑）《约束编程的原理与实践》（CP2003），《计算机科学讲义》，第2833卷，第407-421页。施普林格. ·兹比尔1273.90181 [245] van Hoeve，W.J.（2004年）。软alldifferent约束的超圆弧一致性算法。Wallace，M.（编辑）约束编程原理与实践（CP 2004），《计算机科学讲义》，第3258卷，第679-689页。施普林格. ·Zbl 1152.68595号 [246] van Hoeve，W.J.、Pesant，G.、Rousseau，L.M.和Sabharwal，A.（2006年）。重新查看序列约束。在Benhamou，F.（编辑）约束编程原理与实践（CP 2006），《计算机科学讲义》，第4204卷，第620-634页。施普林格. ·Zbl 1160.68573号 [247] 韦诺特，AF；Wagner，H，《最优产能调度I》，运筹学，10518-532，（1962）·Zbl 0113.14301号 [248] 华莱士，M；Novello，MS；Schimpf，J，《Eclipse:约束逻辑编程平台》，ICL系统杂志，第12期，第159-200页，（1997年） [249] 惠普公司威廉姆斯；Yan，H，整数规划中约束满足的全微分谓词的表示，INFORMS计算杂志，13，96-103，（2001）·Zbl 1238.90103号 [250] Xia，Q.、Eremin，A.和Wallace，M.（2004）。交通改道问题分解。雷金·J.C.和鲁赫·M.（编辑）CPAIOR会议录，《计算机科学讲义》，第3011卷，第348-363页。施普林格. ·Zbl 1094.90515号 [251] 严，H；胡克，JN，逻辑约束作为基数规则的严格表示，数学规划，85，363-377，（1995）·Zbl 0954.90043号 [252] Yunes，TH；阿隆，I；胡克，JN，《优化问题的集成求解器》，运筹学，58342-356，（2010）·Zbl 1226.90047号 [253] Yunes，T.H.，Aron，I.，&Hooker，J.N.优化问题的集成求解器。运营研究（待发布）·Zbl 1226.90047号 [254] Yunes，T.H.、Moura，A.V和de Souza，C.C.（1999）。真实世界机组调度问题的精确解决方案。费城：在INFORMS全国会议上的演讲。 [255] Yunes，TH；莫拉，AV；Souza，CC，城市交通乘务员管理问题的混合列生成方法，交通科学，39273-388，（2005） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。