×

兹马思-数学第一资源

约束规划与运筹学。(英语) Zbl 1402.90148
综述:本文综述了约束规划(CP)与运筹学(OR)相结合求解组合优化问题的研究进展。我们将CP和OR解释为依赖于一种通用的原始-对偶解决方案方法,该方法为使用四种主要策略的集成提供了基础。第一种策略将来自CP的传播与来自或在单个解算器中的松弛紧密地交织在一起。第二种方法将OR技术应用于CP中的域过滤,第三种方法将问题分解为CP解决的部分和OR解决的部分,使用基于CP的列生成或基于逻辑的Benders分解。第四种方法使用为CP传播开发的宽松决策图来帮助解决OR中的动态规划模型。本文引用了大量关于CP/OR整合的文献,并总结了未来的展望。

理学硕士:
90C27型 组合优化
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志强,张志·Zbl 1171.90476
[2] Achterberg,T.,Berthold,T.,Koch,T.和Wolter,K.(2008年)。一种新的整合CP和MIP的方法。在佩伦,L.,&Trick,M.A.(编辑)《计算机科学讲义》,第5015卷,第6-20页。斯普林格. ·Zbl 1142.68504
[3] 阿贡,A;Beldiceanu,N.扩展芯片以解决复杂的调度和布局问题,数学和计算机建模,17,57-73,(1993)
[4] Ahuja,R.K.,Magnanti,T.L.和Orlin,J.B.(1993年)。线性规划与网络流,第3版。上鞍河:普伦蒂斯大厅·Zbl 1201.90001
[5] 阿克斯,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] 安德森,H.R.(1997年)。二元决策图简介。课堂讲稿,在线提供. 哥本哈根:哥本哈根信息技术大学。
[八] 安德森,H.R.(2007年)。基于多值决策图的约束存储。在Hadžić,T.,Hooker,J.N.,Tiedeman,P.和Bessiere,C.(编辑)约束编程原理与实践(CP 2007),计算机科学课堂讲稿,第4741卷,第118-132页。斯普林格.
[9] 阿帕,克;马戈斯,D;Mourtos,I,《全异系统的多面体方法》,数学规划,1241-52,(2010)·Zbl 1257.90055
[10] Appa,G.,Mourtos,I.和Magos,D.(2002年)。正交拉丁方问题的积分约束与整数规划。范亨特莱克,P.(编辑)约束编程原理与实践(CP 2002),计算机科学课堂讲稿,第2470卷,第17-32页。斯普林格.
[11] Aron,I.,Hooker,J.N.和Yunes,T.H.(2004年)。siml:集成优化技术的系统。Régin,J.C.和Rueher,M.(编辑)《计算机科学讲义》,第3011卷,第21-36页。斯普林格. ·Zbl 1094.68636
[12] 艺术家,C;根德劳,M;卢梭,LM;Vergnaud,A,通过混合分支定界求解集成的员工时间表和车间调度问题,计算机与运筹学,362330-2340,(2009)·Zbl 1179.90119号
[13] Bacchus,F.,Dalmao,S.和Pitassi,T.(2014年)。放松搜索:一种管理可选从句的简单方法。AAAI人工智能会议,第835-841页.
[14] Bajestani,马萨诸塞州;Beck,JC,用有限的维修资源安排动态飞机修理厂,人工智能研究杂志,47,35-70,(2013)·兹布1276.68040
[15] Bajgiran,O.,Cire,A.和Rousseau,L.M.(2017年)。首先看如何选择双重变量以最大化降低成本的修复。Lombardi,M.和Salvagnin,D.(编辑)《计算机科学讲义》,第10335卷,第221-228页。斯普林格. ·Zbl 06756588
[16] 巴拉斯,E;博克迈尔,A;北卡罗来纳州皮萨鲁克;Wolsey,L.论多面体的并与支配,数学规划,99223-239,(2004)·Zbl 1098.90092
[17] Baptiste,P.和Le Pape,C.(1996年)。用于析取调度和累积调度的边查找约束传播算法。英国规划特别兴趣小组第十五届研讨会论文集。英国利物浦.
[18] Baptiste,P.,Le Pape,C.和Nuijten,W.(2001年)。基于约束的调度:将约束规划应用于调度问题. 德雷克特:多勒·Zbl 1094.90002号
[19] 巴恩哈特,C;约翰逊,伊利诺伊州;内姆豪泽,德国劳埃德船级社;萨维斯伯格,MWP;Branch and price:求解大型整数规划的列生成,运筹学,46316-329,(1998)·Zbl 0979.90092
[20] Beame,P.,Kautz,H.和Sabharwal,A.(2003年)。理解从句学习的力量。国际人工智能联席会议(IJCAI 2003). ·Zbl 1080.68651
[21] Beaumont,N,《析取程序的算法》,欧洲运筹学杂志,48362-371,(1990)·Zbl 0744.90062
[22] 贝克,J.C.(2010年)。检查分支机构并检查。在科恩,D.(编辑)约束规划(CP)的原理与实践,计算机科学讲义,第6308卷,第84-98页.
[23] 北贝尔迪切努;《芯片、数学与计算机建模中的全局约束》,第12期,第97-123页,(1994年)·邮政编码:0816.68048
[24] 贝尔曼,R.(1957年)。动态规划. 普林斯顿:普林斯顿大学出版社·中宝0077.13605
[25] Belov,G.,Stuckey,P.J.,Tack,G.和Wallace,M.(2016年)。改进了约束规划模型的线性化。计算机科学学报,计算机科学讲义,第9892卷,第49-65页。斯普林格.
[26] 苯奇摩,P;霍夫,WJ;瑞金,JC;卢梭,LM;Rueher,M.加权电路约束的改进滤波,约束,17205-233,(2012)·Zbl 1309.90115
[27] 班德斯,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年)。多阶段弯曲分解优化多核结构。在佩伦,L.,&Trick,M.A.(编辑)《计算机科学讲义》,第5015卷,第36-50页。斯普林格. ·Zbl 1142.68506
[30] Benoist,T.,Laburthe,F.和Rottembourg,B.(2001年)。旅行锦标赛问题的拉格朗日松弛与约束规划协同方案。在Gervet,C.和Wallace,M.(编辑)公司诉讼。英国阿什福德.
[31] Bergman,D.和Cire,A.A.,状态空间分解的离散非线性优化。管理科学(即将出现)·Zbl 1368.90105
[32] 伯格曼,D;Cire,AA;Hoeve,WJ,序列约束的MDD传播,JAIR,50697-722,(2014)·Zbl 1366.68072
[33] Bergman,D.,Cire,A.A.和van Hoeve,W.J.(2015年)。通过拉格朗日分解改进约束传播。计算机科学学报,计算机科学讲义,第9255卷,第30-38页。斯普林格.
[34] 伯格曼,D;Cire,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] 伯格曼;西雷,AA;霍夫,WJ;胡克,JN,《二进制决策图的优化界限》,通知《计算杂志》,2653-268,(2013)·Zbl 1356.90083
[38] 伯格曼,D;西雷,AA;霍夫,WJ;Hooker,JN,《离散优化与二进制决策图》,INFORMS Journal on Computing,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.(编辑)《注册会计师诉讼》,第50-65页。斯普林格.
[41] 伯格曼,D;胡克,JN,所有不同系统的图着色不等式,约束,19404-433,(2014)·Zbl 1316.90056
[42] Bergman,D.,van Hoeve,W.J.和Hooker,J.N.(2011年)。为组合优化操作MDD松弛。在Achterberg,T.和Beck,J.C.(编辑)《计算机科学讲义》,第6697卷,第20-35页。斯普林格. ·Zbl 1302.90166
[43] 博克迈尔,A;《整数和有限域约束规划的统一框架》,载《计算学报》,10287-300,(1998)·Zbl 1034.90517
[44] Bockmayr,A.和Pisaruk,N.(2003年)。基于约束规划的混合整数规划不可行性检测与割集生成。在Gendreau,M.,Pesant,G.和Rousseau,L.M.(编辑)计算机科学讲座论文集,第1234卷。斯普林格. ·邮编:1086.90041
[45] Bockmayr,A.,Pisaruk,N.和Aggoun,A.(2001年)。约束规划中的网络流问题。沃尔什,T.(编辑)约束编程原理与实践(CP 2001),计算机科学课堂讲稿,第2239卷,第196-210页。斯普林格. ·Zbl 1067.68618号
[46] Bollapragada,S;加塔斯,哦;胡克,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年)。序列约束的编码。在贝塞尔,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页。爱思唯尔,弗吉尼亚州威廉斯堡.
[50] 布鲁克,P;《具有序列相关设置时间的一般车间问题的分枝定界法》,或Spektrum,18145-161,(1996)·邮政编码:0852.90087
[51] Bryant,RE,基于图的布尔函数操作算法,IEEE计算机事务处理,C-35677-691,(1986)·Zbl 0593.94022
[52] 坎巴扎德,H;Fages,JG,《大气值及其加权变量的新滤波:拉格朗日方法》,约束,20362-380,(2015)·Zbl 1327.90130号
[53] Cambazard,H.,Hladik,P.E.,Déplanche,A.M.,Jussien,N.和Trinket,Y.(2004年)。一个硬实时任务分配问题的分解与学习。在华莱士,M.(编辑)约束编程原理与实践(CP 2004),计算机科学课堂讲稿,第3258卷,第153-167页。斯普林格. ·Zbl 1152.68545
[54] Cambazard,H.和Jussien,N.(2005年)。使用基于解释的costraint编程识别和开发问题结构。巴尔特,米拉和MáEds《计算机科学讲义》,第3524卷,第94-109页。斯普林格. ·Zbl 1133.90381
[55] Cambazard,H.,O'Mahony,E.和O'Sullivan,B.(2010年)。多叶准直器排序问题的混合方法。在Lodi,A.,Milano,M.和Toth,P.(编辑)《计算机科学讲义》,第6140卷,第56-70页。斯普林格. ·Zbl 1285.68152号
[56] Cambazard,H.和Penz,B.(2012年)。旅行采购问题的约束规划方法。计算机科学学报,计算机科学讲义,第7514卷,第735-749页。斯普林格.
[57] 卡彭,A;卡雷洛,G;菲利皮尼,我;瓜兰迪,S;Malucelli,F.解决无线网状网络中的资源分配问题:基于cp和经典列生成的比较,networks,55221-233,(2010)·Zbl 1200.90038
[58] Carlier,J.单机器问题,欧洲运筹学杂志,11,42-47,(1982)·Zbl 0482.90045
[59] 卡莱尔,J;Pinson,E,解决车间问题的算法,管理科学,35164-176,(1989)·京保0677.90036
[60] 卡莱尔,J;Pinson,E,jackson的抢占式时间表在解决车间问题中的实际应用,运筹学年鉴,2669-287,(1990)·Zbl 0709.90061
[61] 卡莱尔,J;Pinson,E,job shop问题的正反调整,欧洲运筹学杂志,78146-161,(1994)·邮政编码:0812.90063
[62] Caseau,Y.和Laburthe,F.(1994年)。使用任务间隔改进CLP调度。第十一届逻辑程序设计国际会议论文集(ICLP 1994),第369-383页。麻省理工学院出版社.
[63] Caseau,Y.和Laburthe,F.(1997年)。求解带有约束的小tsp。在奈什,L.(编辑)《第十四届逻辑程序设计国际会议论文集》(ICLP 1997),第2833卷,第316-330页。麻省理工学院出版社.
[64] Castro,P.M.和Grossmann,I.E.(2006年)。一种适用于单级间歇式装置短期调度的有效MILP模型。技术报告,里斯本INETI,Modelacãe Simulacão de Processos部门。
〔65〕 圣约,E;Hooker,JN,《基于逻辑的benders分解的单设施调度》,运筹学年鉴,210245-272,(2013)·Zbl 1284.90023
[66] Chabrier,A.(2000年)。一种求解配对生成问题的合作CP和LP优化器方法。公司诉讼。意大利费拉拉.
[67] Chabrier,A.(2003年)。启发式分枝和降价法解决一个网络设计问题。在Gendreau,M.,Pesant,G.和Rousseau,L.M.(编辑)公司诉讼。蒙特雷亚尔.
[68] 赫里斯托菲德斯,N;明戈兹,A;Toth,P,路由问题边界计算的状态空间松弛程序,网络,11145-164,(1981)·Zbl 0458.90071
〔69〕 Chu,G.,Gange,G.和Stuckey,P.J.(2016年)。通过子问题搜索进行拉格朗日分解。《计算机科学讲义》,第9676卷,第65-80页。斯普林格. ·Zbl 06598657
[70] Chu,Y.和Xia,Q.(2005年)。一类资源受限调度问题的混合算法。Barták,R.和Milano,M.(编辑)《计算机科学讲义》,第3524卷,第110-124页。斯普林格. ·Zbl 1133.90335
[71] Chvátal,V.(1983年)。线性规划。W、 H. 纽约:弗里曼·Zbl 0537.90067
[72] Ciré,A.A.,Choban,E.和Hooker,J.N.(2013年)。混合整数规划与基于逻辑的Benders分解的计划与调度。在Gomes,C.和Sellmann,M.(编辑)《注册会计师诉讼》,第325-331页. ·Zbl 1382.90061号
[73] 卢塞万,卢塞万,2004)。自动引导车辆的调度与无冲突路径:一种结合约束规划和混合整数规划的混合方法。Régin,J.C.和Rueher,M.(编辑)《计算机科学讲义》,第3011卷,第370-378页。斯普林格. ·Zbl 1094.90519
[74] 科尔特斯,行政长官;根德劳,M;卢梭,LM;苏伊里斯,S;Weintraub,A.解决现实技术人员派遣问题的分支和价格约束规划,欧洲运筹学杂志,238300-312,(2014)·Zbl 1338.90048
[75] Costa,MC,最大基数二部匹配的持续性,运筹学快报,15143-149,(1994)·Zbl 0810.90126
[76] 科特迪瓦,JF;戴尔阿米科,M;Iori,M,组合折弯机切割带材包装问题,运筹学,62643-661,(2014)·Zbl 1302.90173号
[77] Cronholm,W.和Ajili,F.(2004年)。拉格朗日分解的强成本滤波在网络设计中的应用。在华莱士,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] 德洛姆,M;Iori,M;马泰洛,S,正交下料问题的基于逻辑的benders分解,计算机与运筹学,78290-298,(2017)·Zbl 1391.90514号
[81] Demassey,S.,Artiques,C.和Michelon,P.(2002年)。一种混合约束传播切割平面法。Jussien,N.和Laburthe,F.(编辑)组合优化问题约束规划中人工智能与运筹学技术整合国际研讨会论文集(CPAIOR 2002)。法国克罗伊西克.
[82] Demassey,S.,Pesant,G.和Rousseau,L.M.(2005年)。基于约束规划的员工时间表列生成。Barták,R.和Milano,M.(编辑)组合优化问题约束规划中人工智能与或或技术的整合(CPAIOR 2005),计算机科学讲义,第3524卷,140-154页。斯普林格. ·Zbl 1133.90359
[83] 德马西,S;佩桑特,G;卢梭,LM,《基于成本规则的混合柱生成方法》,约束,11315-333,(2006)·Zbl 1117.90066
[84] 美国多恩多夫;佩什,E;潘胡伊,T,解决开放式车间调度问题,调度杂志,4157-174,(2001)·Zbl 0991.90068
[85] Doulabi,S.H.H.,Rousseau,L.M.,和Pesant,G.(2014年)。一种基于约束规划的手术室规划与排程列生成方法。《计算机科学讲义》,第8451卷,第455-463页。斯普林格. ·Zbl 06298810
[86] 杜拉比,嘘;卢梭,LM;Pesant,G,一种基于约束编程的手术室计划和调度的分支和降价方法,通知《计算杂志》,28432-448,(2016)·Zbl 1348.90271
[87] 唐宁,N.,Feydy,T.和Stuckey,P.J.(2012年)。解释基于流的传播。《计算机科学讲义》,第7298卷,第146-162页。斯普林格.
[88] Easton,K.,Nemhauser,G.和Trick,M.(2001年)。旅行锦标赛问题描述和基准。沃尔什,T.(编辑)约束编程原理与实践(CP 2001),计算机科学讲义,第2239卷,第580-584页。斯普林格. ·Zbl 1067.68627
[89] Easton,K.,Nemhauser,G.和Trick,M.(2002年)。旅行锦标赛问题的求解:整数规划与约束规划相结合的方法。自动排班实践与理论国际会议记录(2002年PATAT).
[90] Edis,E.B.和Oguz,C.(2011年)。附加资源并行机调度:基于拉格朗日的约束规划方法。《计算机科学讲义》,第6697卷,第92-98页。斯普林格. ·900ZB13078升
[91] Emeretlis,A.、Theodoridis,G.、Alefragis,P.和Voros,N.(2015年)。基于逻辑的Benders分解在异构平台上映射dag。IEEE计算机学会VLSI年会(ISVLSI),第119-124页。IEEE公司.
[92] 埃尔斯勒,J;洛佩兹,P;先生,P,Ordonconcement de t'ches sous containtes:une appacheénergétique。RAIRO automatique,productique,Informatique Industrielle,26453-481,(1992年)·Zbl 0774.90046
[93] 埃尔斯勒,J;洛佩兹,P;瑟利奥特,C.,《资源合同与程序融资》,人工智能评论,第5期,第7-32页,(1991年)
[94] 法尔,T;美国容克;喀里什,东南;科恩,N;塞尔曼,M;《基于约束编程的机组人员分配列生成》,启发式杂志,8,59-81,(2002)·Zbl 1073.90542
[95] Fazel Zarandi,MM,使用基于逻辑的benders分解来解决容量和距离受限的工厂选址问题,通知《计算杂志》,24387-398,(2012)·Zbl 1462.90065号
[96] Fazel Zarandi,M.M.和Beck,J.C.(2009年)。用基于逻辑的Benders分解求解位置分配问题。In Gent,I.P.(编辑)约束编程原理与实践(CP 2009),计算机科学课堂讲稿,第5732卷,第344-351页. 纽约:斯普林格。
[97] Focacci,F.,Lodi,A.和Milano,M.(1999年)。基于成本的域筛选。在Jaffar,J.(编辑)约束编程原理与实践(CP 1999),计算机科学讲义,第1713卷,第189-203页。斯普林格.
[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的混合精确算法,通知《计算杂志》,14403-417,(2002)·Zbl 1238.90054
[101] 福克奇,F;洛迪,A;M.Milano,M.在求解TSP和TSPTW的全局约束中嵌入松弛,数学与人工智能年鉴,34291-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年)。基于约束的拉格朗日松弛。计算机科学学报,计算机科学讲义,第8656卷,324-339页。斯普林格.
[105] Gapteni,S.和Grönkvist,M.(2006年)。一个混合列生成和约束规划优化的尾部分配问题。《计算机科学讲义》,第3990卷,第89-103页。斯普林格. ·Zbl 1177.90342
[106] 加特尼,S;Gönkvist,M.结合列生成和约束规划来解决尾部分配问题,运筹学年鉴,171,61-76,(2009)·Zbl 1179.90207
[107号] 加芬克尔,R;内姆豪瑟,GL,用隐式枚举技术进行最优政治分区,管理科学,16,b495-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.(编辑)《计算机科学》第201卷,第216-24页。斯普林格. ·Zbl 1133.90404
[110] Gendron,B.,Lebbah,H.和Pesant,G.(2005年)。改进了基于约束规划的列生成中主问题与子问题之间的协作。Barták,R.和Milano,M.(编辑)《计算机科学讲义》,第3524卷,第217-227页。斯普林格. ·Zbl 1133.68429
[111] German,G.,Briant,O.,Cambazard,H.和Jost,V.(2017年)。通过线性规划实现弧一致性。CP会刊,LNCS,第10416卷,第114-128页。斯普林格.
[112] 《凸二部图中的最大匹配》,海军研究后勤季刊,316313-316,(1967)·Zbl 0183.24501号
[113] Gomes,C.P.和Sellmann,M.(编辑)。(2013年)。决策图和动态规划,计算机科学讲义,第7874卷。柏林:斯普林格。
[114] Gong,J.,Lee,E.E.,Mitchell,J.E.,和华莱士,W.A.(2009年)。基于逻辑的恢复规划多目标优化。在Chaovalitwongse,W.,Furman,K.C.和Pardalos,P.M.(编辑)企业中的优化和物流挑战,第305-324页。斯普林格. ·Zbl 1172.90483
[115] Gönkvist,M.(2004年)。尾部分配的约束规划模型。Régin,J.C.和Rueher,M.(编辑)《计算机科学讲义》,第3011卷,第142-156页。斯普林格. ·Zbl 1094.68644号
[116] Gönkvist,M.使用约束传播加速飞机调度列生成,计算机与运筹学,332918-2934,(2006)·邮编:1086.90023
[117] 格罗斯曼,即;胡克,JN;拉曼,R;颜海华,固定电荷处理网络的逻辑切割,计算机与运筹学,21265-279,(1994)·Zbl 0789.90057
[118] Gu,H.,Schutt,A.和Stuckey,P.J.(2013年)。资源受限项目净现值最大化的拉格朗日松弛正反向改进启发式算法。《计算机科学讲义》,第7874卷,第340-346页。斯普林格. ·Zbl 1382.90120号
[119] Gualandi,M.(2009年)\(k\)-通过混合CP和SDP方法聚类最小双解完备。在van Hoeve,W.J.和Hooker,J.N.(编辑)计算机科学讲座论文集,第5547卷(第87-101页)。纽约:斯普林格·Zbl 1241.68101
[120] 瓜兰迪,S;Malucelli,F.通过约束编程和列生成精确解决图着色问题,通知计算杂志,24,81-100,(2012)·Zbl 1461.05091
〔121〕 Gualandi,S.和Malucelli,F.(2012年)。具有超可加性目标函数的资源约束最短路径。计算机科学论文集,计算机科学讲义,第7514卷,第299-315页。斯普林格.
[122号] 吉格纳德,M;《拉格朗日分解:产生更强拉格朗日边界的模型》,数学规划,39215-228,(1987)·Zbl 0638.90074
[123号] Ha,M.H.,Quimper,C.G.,和Rousseau,L.M.(2015年)。约束程序的通用边界机制。计算机科学学报,计算机科学讲义,第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规划的成本有界二元决策图。范亨泰姆里克,P.和沃尔西,L.(编辑)《计算机科学讲义》,第4510卷,第332-345页。斯普林格.
[127号] Hadžić,T.,Hooker,J.N.和Tiedeman,P.(2008年)。MD存储中可分不等式的传播。在佩伦,L.,&Trick,M.A.(编辑)《计算机科学讲义》,第5015卷,第318-322页。斯普林格.
[128] Hamdi,I.和Loukil,T.(2013年)。基于逻辑的Benders分解求解带时滞的置换流水车间调度问题。国际建模、仿真和应用优化会议(ICMSAO),第1-7页。IEEE公司.
[129] Harjunkoski,我;使用多阶段约束规划技术的多阶段约束规划,多阶段规划
[130] Heching,A.和Hooker,J.N.(2016年)。用基于逻辑的Benders分解法安排家庭临终关怀。在昆珀,C.G.(编辑)《计算机科学课堂讲稿》,第9676卷,第187-197页。斯普林格. ·Zbl 06598665
[131号] Hellsten,L.,Pesant,G.和van Beek,P.(2004年)。拉伸约束的域一致性算法。在华莱士,M.(编辑)约束编程原理与实践(CP 2004),计算机科学讲义,第3258卷,第290-304页。斯普林格. ·Zbl 1152.68557
[132] Herbrard,E.,O'Mahony,E.和O'Sullivan,B.(2010年)。资源受限项目调度的约束整数规划方法。在Lodi,A.,Milano,M.和Toth,P.(编辑)《计算机科学讲义》,第6140卷,313-317页。斯普林格.
[133] 赫拉迪克,PE;坎巴扎德,H;Déplanche,上午;Jussien,N.用约束编程解决实时分配问题,系统与软件杂志,81132-149,(2008)
[134号] Hoda,S.,van Hoeve,W.J.和Hooker,J.N.(2010年)。基于MDD的约束规划的系统方法。第16届约束程序设计原理与实践国际会议论文集,计算机科学讲义。斯普林格.
[135] van Hoeve,W.J.(2011年)。过度约束问题。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页。AAI出版社.
[137] 霍夫,WJ;佩桑特,G;卢梭,LM,《全球变暖:基于流量的软全球约束》,启发式杂志,12347-373,(2006)·Zbl 1100.68623
[138] 霍夫,WJ;佩桑特,G;卢梭,LM;Sabharwal,A,约束组合的新过滤算法,14,273-292,(2009)·Zbl 1186.68552
[139号] 胡克,J.N.(1994年)。基于逻辑的优化方法。在博宁,A.(编辑)约束编程原理与实践(CP 2002),计算机科学课堂讲稿,第874卷,第336-349页。斯普林格.
[140] 胡克,J.N.(1995年)。基于逻辑的Benders分解。通知全国会议(通知1995年). ·Zbl 1023.90082号
[141] 胡克,J.N.(2000年)。基于逻辑的优化方法:结合优化和约束满足. 纽约:威利·Zbl 0974.90001
[142号] 胡克,JN,逻辑,优化和约束编程,通知计算杂志,14295-321,(2002)·Zbl 1238.90002
[143] 胡克,J.N.(2003年)。集成解决方案方法的框架。在Bhargava,H.K.和Ye,M.(编辑)网络世界中的计算建模与问题解决(ICS2003论文集),第3-30页。克鲁瓦.
[144] 胡克,JN,计划与调度的混合方法,约束,10385-401,(2005)·Zbl 1122.90054
[145] 胡克,J.N.(2005年)。计划和安排以尽量减少延误。约束编程原理与实践(CP 2005),计算机科学课堂讲稿,第3709卷,第314-327页。斯普林格. ·Zbl 1153.90423
[146号] Hooker,JN,《最小化拖期的综合计划和调度方法》,11,139-157,(2006)·Zbl 1103.68811号
[147] 胡克,J.N.(2007年)。综合优化方法. 柏林:斯普林格·Zbl 1122.90002
[148] 胡克,JN,基于逻辑的benders分解计划与调度,运筹学,55588-602,(2007)·Zbl 1167.90512
[149号] 胡克,J.N.(2012年)。综合优化方法,第2版,柏林:斯普林格·Zbl 1263.90002
[150] 约束条件,乔治·布勒,第21-59页,2016年)·Zbl 1396.03041号
[151] 胡克,J.N.(2016年)。投射、推理和一致性。IJCAI 2016年会议记录,第4175-4179页.
[152] 胡克,JN;奥索里奥,MA,混合逻辑/线性规划,离散应用数学,96-97395-442,(1999)·Zbl 0945.90031
[153] 胡克,JN;《基于逻辑的benders分解,数学规划》,96,33-60,(2003)·Zbl 1023.90082号
[154] 胡克,JN;奥托森,G;索斯泰因森,ES;金海杰,优化与约束满足方法的统一方案,知识工程评论,15,11-30,(2000)
[155] 霍普克罗夫特;二部图最大匹配的n5/2算法,暹罗计算杂志,2225-231,(1973)·中银0266.05114
[156] 贾恩,V;Grossmann,IE,一类优化问题的混合MILP/CP模型的算法,通知计算杂志,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页。斯普林格. ·兹布1273.68400
[162] Khemmoudj,M.O.,Bennaceur,H.和Nagih,A.(2005年)。结合弧一致性和对偶拉格朗日松弛滤波csp。Barták,R.和Milano,M.(编辑)组合优化问题约束规划中人工智能与或或技术的整合(CPAIOR 2005),计算机科学课堂讲稿,第3524卷,第258-272页。斯普林格. ·Zbl 1133.90405
[163] 金,HJ;胡克,JN,用混合优化和约束规划方法求解固定电荷网络流问题,运筹学年鉴,11595-124,(2002)·Zbl 1013.90010
[164] 扭结,J;Cire,AA;Hoeve,WJ,时间相关排序问题的混合优化方法,欧洲运筹学杂志,259887-897,(2017)·Zbl 1402.90053
[165] Kinable,J.和Trick,M.(2014年)。基于逻辑的Benders方法解决具体的交付问题。在西蒙尼斯,H.(编辑)《计算机科学课堂讲稿》,第8451卷,第176-192页。斯普林格. ·Zbl 06298791
[166号] 科尔,N.(2000年)。or和cp技术在现实世界船员调度系统中的应用。组合优化问题约束规划中人工智能与运筹学技术整合国际研讨会论文集(CPAIOR 2000). 德国:帕德伯恩。
[167] 劳工,P;Rogerie,J.IBM ILOG CP optimizer中的时间线性松弛,J.调度,19391-400,(2016)·Zbl 1347.90044
[168号] 劳里ėre,JL,陈述和解决组合问题的语言和程序,人工智能,10,29-127,(1978)·Zbl 0374.68060
[169] 林恩;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年)。约束逻辑程序设计对运筹学的意义。劳伦斯,M.和威尔斯登,C.(编辑)运筹学辅导论文(运筹学学会会议特邀辅导论文,1995年),第20-45页.
[173] Liu,W.,Yuan,M.,He,X.,Gu,Z.,和Liu,X.(2008年)。有效的基于SAT的同构同步数据流图的映射和调度以优化吞吐量。实时系统研讨会,第492-504页。IEEE公司.
[174] Lombardi,M.和Gualandi,S.(2013年)。一种用于经验模型学习的双层神经网络传播算子。计算机科学学报,计算机科学讲义,第8124卷,第448-463页。斯普林格.
[175] 伦巴第,M;Gualandi,S,约束规划中人工神经网络的拉格朗日传播算子,约束,21435-462,(2016)·Zbl 1368.90148
[176] 伦巴第,M;米兰,M;Ruggiero,M;贝尼尼,L,多处理器片上系统中条件任务图的随机分配与调度,调度杂志,13315-345,(2010)·Zbl 1232.68017
[177] Lovász,L.和Plummer,M.(1986年)。匹配理论,第29卷。北荷兰:离散数学年鉴·Zbl 0618.05001
[178] Maher,M.J.(2009年)。浸润约束:软开放全局约束。计算机科学学报,计算机科学讲义,第5732卷,第584-591页。斯普林格.
[179] Maher,M.J.,Narodytska,N.,Quimper,C.G.和Walsh,T.(2008年)。序列和相关全局约束的基于流的传播子。在Stuckey,P.J.(编辑)约束编程原理与实践(CP 2008),计算机科学课堂讲稿,第5202卷,第159-174页。斯普林格.
[180度] Maravelias,C.T.和Grossmann,I.E.(2004年)。利用MILP和CP进行间歇化工过程调度。Régin,J.C.和Rueher,M.(编辑)计算机科学讲座,第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年)。具有多中心正则约束的排序和计数。《计算机科学讲义》,第5547卷,第178-192页。斯普林格. ·Zbl 1241.68104
[183] Métivier,J.P.,Boizumault,P.和Loudni,S.(2007年)。∑-AllDifferent:在加权csp中软化alldifference。第19届IEEE人工智能工具国际会议论文集,第223-230页。IEEE公司.
[184] Métivier,J.P.,Boizumault,P.和Loudni,S.(2009年)。软化Gcc和常规与偏好。2009年ACM应用计算研讨会论文集,1392-1396页。ACM公司.
[185] Métivier,J.P.,Boizumault,P.和Loudni,S.(2009年)。利用软全局约束解决护士排班问题。计算机科学学报,计算机科学讲义,第5732卷,第73-87页。斯普林格.
[186] Milano,M.和van Hoeve,W.J.(2002年)。降低基于成本的排序以生成有希望的子问题。范亨特莱克,P.(编辑)约束编程原理与实践(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年)。Minizinc:一种标准的CP建模语言。(贝塞尔,塞瑞)约束编程原理与实践(CP 2007),计算机科学课堂讲稿,第4741卷,第529-543页。斯普林格.
[189] 南丁格尔;阿奎恩,Ȯ;代理,IP;杰斐逊,C;米格尔,我;Spracklen,P,自动改进savile row约束模型,人工智能,251,35-61,(2017)·Zbl 1419.68099
[190号] 努伊滕,W.P.M.(1994年)。时间和资源受限的调度。博士。论文。埃因霍温:埃因霍温理工大学·Zbl 0837.90068
[191] Nuijten,W.P.M.和Aarts,E.H.L.(1994年)。多能力作业车间调度的约束满足问题。科恩,A.(编辑)第11届欧洲人工智能会议论文集(ECAI 1994),第635-639页。威利.
[192号] 纽顿,WPM;Aarts,EHL,多能力作业车间调度约束满足的计算研究,欧洲运筹学杂志,90269-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年)。车间调度的随机约束满足。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页)·Zbl 1026.90062
[196] 奥托森,G;索斯泰因森,E;胡克,JN,混合CLP-IP解算器中的混合全局约束和推理,数学与人工智能年鉴,34271-290,(2002)·Zbl 1026.90062
[197] Perez,G.和Régin,J.C.(2015年)。在mdds上建立约束编程模型的有效操作。IJCAI会议录,第374-380页.
[198] Perez,G.和Régin,J.C.(2016年)。基于mdds的约束的构造和在位操作。CPAIOR会刊,LNCS,第9676卷,第279-293页。斯普林格. ·Zbl 06598671
[199] Perez,G.和Régin,J.C.(2017年)。mdd是有效的建模工具:对一些统计约束的应用。CPAIOR会刊,LNCS,第10335卷,第30-40页。斯普林格. ·Zbl 06756573
[200] 佩桑特,G.(2001年)。一种拉伸约束的滤波算法。沃尔什,T.(编辑)约束编程原理与实践(CP 2001),计算机科学讲义,第2239卷,第183-195页。斯普林格. ·Zbl 1067.68140号
[201] Pesant,G.(2004年)。有限变量序列的正则语言成员约束。在华莱士,M.(编辑)约束编程原理与实践(CP 2004),计算机科学课堂讲稿,第3258卷,第482-495页。斯普林格. ·Zbl 1152.68573
[202] 皮辛格,D;Sigurd,M,使用分解技术和约束编程来解决二维装箱问题,通知计算杂志,19,36-51,(2007)·Zbl 1241.90118
[203] 鲍威尔,W.B.(2007年)。动态规划中的维利维数(近似数列的求解). 纽约:威利国际科学。
[204] Quadrafoglio,L.,Dessouky,M.M.和Nez,F.O.(2008年)。机动性津贴穿梭运输(MAST)服务:在逻辑约束下制定和加强MIP。在佩伦,L.,&Trick,M.A.(编辑)《计算机科学讲义》,第5015卷,第387-391页。斯普林格. ·Zbl 1137.90336
[205] 拉斯穆森,R;《约束最小断裂问题的benders方法》(A benders approach to the constrained minimum break problem),欧洲运筹学杂志,177198-213,(2007)·Zbl 1102.90026
[206] 雷法洛,P.(1999年)。紧密合作及其在分段线性优化中的应用。在Jaffar,J.(编辑)约束编程原理与实践(CP 1999),计算机科学讲义,第1713卷,第375-389页。斯普林格.
[207] 雷法洛,P.(2000年)。约束规划模型和混合求解器的线性化。在Dechter,R.(编辑)约束程序设计原理与实践(CP 2000),计算机科学课堂讲稿,1894卷,第369-383页。斯普林格. ·Zbl 1044.68792
[208号] Régin,J.C.(1994年)。CSP中差分约束的一种滤波算法。全国人工智能会议(AAAI 1994),第362-367页。AAI出版社.
[209] Régin,J.C.(1996年)。全局基数约束的广义弧一致性。全国人工智能会议(AAAI 1996),第209-215页。AAI出版社.
[210] Régin,J.C.(1999年)。全局基数约束与成本的弧一致性。计算机科学学报,计算机科学讲义,1713卷,390-404页。斯普林格.
[211] Régin,JC,基于成本的全局基数约束的弧一致性,约束,7387-405,(2002)·Zbl 1028.68157
[212] Riedler,M.和Raidl,G.(2016年)。用基于逻辑的Benders分解来解决一个有选择的dial-a-ride问题。技术报告AC-TR-16-007. 图文恩:计算机图形学与算法研究所·Zbl 1458.90131号
[213] 罗多舍克,R;华莱士,M;《混合整数规划与约束逻辑规划整合之新方法》,运筹学年鉴,86,63-87,(1999)·Zbl 0918.90109
[214] 卢梭,L.M.(2004年)。基于约束规划的列生成的稳定性问题。Régin,J.C.和Rueher,M.(编辑)《计算机科学讲义》,第3011卷,第402-408页。斯普林格. ·Zbl 1094.68655
[215] Rousseau,L.M.,Gendreau,M.和Pesant,G.(2002年)。基于列生成的约束编程求解小型VRPTWs。Jussien,N.和Laburthe,F.(编辑)组合优化问题约束规划中人工智能与运筹学技术整合国际研讨会论文集(CPAIOR 2002). 法国:勒克罗伊斯·Zbl 1062.90007号
[216] 卢梭,LM;根德劳,M;佩桑特,G;Focacci,F.用基于约束编程的列生成求解VRPTW,运筹学年鉴,130199-216,(2004)·Zbl 1062.90007号
[217] Ruggiero,M.,Guerri,A.,Bertozzi,D.,Poletti,F.和Milano,M.(2006年)。面向流的片上多处理器系统的通信感知分配与调度框架。欧洲设计、自动化和测试会议记录,第3-8页。欧洲设计与自动化协会.
[218] Sadykov,R.(2004年)。一个分支机和一个分支机的混合调度算法。Régin,J.C.和Rueher,M.(编辑)《计算机科学课堂讲稿》,第3011卷,第409-415页。斯普林格. ·Zbl 1094.90562
[219] 萨迪科夫,R;《整数规划和约束规划在解决具有截止日期和发布日期的多机器分配调度问题中的应用》,载《计算学报》,18209-217,(2006)·Zbl 1241.90056
[220] Salvagnin,D.和Walsh,T.(2012年)。一种混合MIP/CP方法的多作业单元排班。在米兰,M.(编辑)约束程序设计的原理与实践,计算机科学课堂讲稿,第7514卷,第633-646页。斯普林格.
[221] Satish,N.,Ravindran,K.和Keutzer,K.(2007年)。一种基于分解的带通信延迟任务图静态调度的约束优化方法。欧洲设计、自动化和测试会议记录,第57-62页。EDA社团.
[222号] Sellmann,M.(2004年)。基于拉格朗日松弛的约束规划理论基础。在华莱士,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,自动记录问题的基于约束规划的拉格朗日松弛,运筹学年鉴,11817-33,(2003)·Zbl 1026.90510
[225] Sellmann,M.,Kliewer,G.和Koberstein,A.(2002年)。容量受限网络设计的拉格朗日基数割和变量固定。欧空局会议录,计算机科学讲义,第2461卷,第845-858页。斯普林格. ·Zbl 1040.90004号
[226] 塞尔曼,M;泽沃达基斯,K;斯塔马托普洛斯,P;Fahle,T,通过约束规划进行机组分配:集成列生成和启发式树搜索,运筹学年鉴,115207-225,(2002)·Zbl 1013.90091
[227号] Shen,K.和Schimpf,J.(2005年)。利用数学规划求解器进行约束逻辑编程。计算机科学学报,计算机科学讲义,第3709卷,第622-636页。斯普林格.
[228] Smith,B.M.,Brailsford,S.C.,Hubbard,P.M.和Williams,H.P.(1995年)。进步党问题:整数线性规划与约束规划比较。在蒙塔纳里,U.和罗西,F.(编辑)约束编程原理与实践(CP 1995),计算机科学讲义,第976卷,第36-52页。斯普林格.
[229] Steiger,R.,van Hoeve,W.J.,和Szymanek,R.(2011年)。一种有效的通用网络流约束。应用计算学术研讨会论文集,第893-900页.
[230] Stuckey,P.J,de la Banda,M.G.,Maher,M.,万豪,K.,Slaney,J.,Somogyi,Z.,Wallace,M.和Walsh,T.(2005年)。G12项目:将独立于求解器的模型映射为有效的解决方案。在van Beek,P.(编辑)约束编程原理与实践(CP 2005),计算机科学讲义,第3668卷,第314-327页。斯普林格. ·Zbl 1165.68517号
[231] Taşkın,ZC;史密斯,JC;艾哈迈德,S;Schaefer,AJ,求解随机边划分问题的切割平面算法,离散优化,6420-435,(2009)·Zbl 1179.90322
[232] 塔里木,S.,Armagan,S.和Miguel,I.(2006年)。求解线性追索随机约束规划的混合Benders分解方法。在Hnich,B.,Carlsson,M.,Fages,F.和Rossi,F.(编辑)约束求解和约束逻辑编程国际研讨会,133-148页。斯普林格. ·Zbl 1180.68252
[233] Terekhov,D.,Beck,J.C.和Brown,K.N.(2007年)。用约束规划求解随机排队设计与控制问题。第22届全国人工智能大会论文集(AAAI 2007),第一卷,第261-266页。AAI出版社.
[234] Thorsteinsson,E.(2001年)。分支检查:一个混合整数规划和约束逻辑编程的混合框架。沃尔什,T.(编辑)约束编程原理与实践(CP 2001),计算机科学课堂讲稿,第2239卷,第16-30页。斯普林格. ·Zbl 1067.68677
[235] 与TIMC结合求解问题(第4版)·Zbl 1028.90017
[236] Tjandraatmadja,C.和van Hoeve,W.J.从宽松决策图中削减目标。通知杂志关于计算(即将出版)。
[237] 托雷斯,P;洛佩兹,P,关于析取调度中的非第一/非最后条件,欧洲运筹学杂志,127332-343,(2000)·Zbl 0990.90049
[238] Tran,T.T.和Beck,J.C.(2012年)。基于逻辑的Benders分解的可替代资源调度与序列相关的设置。欧洲人工智能会议(ECAI),人工智能与应用前沿,第242卷,第774-779页。IOS出版社. ·Zbl 1327.90075
[239] Trick,M.(2001年)。背包约束一致性与传播的动态规划方法。在Gervet,C.和Wallace,M.(编辑)组合优化问题约束规划中人工智能与或或技术的整合(CPAIOR 2001)(第113-124页)。阿什福德:英国。
[240] 《背包约束一致性和传播的动态规划方法》,《运筹学年鉴》,118,73-84,(2003)·Zbl 1027.90075
[241] Trick,M.A.和Yildiz,H.(2007年)。班德斯切割引导搜索旅行裁判问题。范亨泰姆里克,P.和沃尔西,L.(编辑)《计算机科学讲义》,第4510卷,第332-345页。斯普林格. ·Zbl 1214.90106
[242号] 图̇rkay,M;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.(编辑)约束程序设计原理与实践(CP 2003),计算机科学课堂讲稿,第2833卷,第407-421页。斯普林格. ·Zbl 1273.90181
[245] van Hoeve,W.J.(2004年)。软全差分约束的超弧一致性算法。在华莱士,M.(编辑)约束编程原理与实践(CP 2004),计算机科学课堂讲稿,第3258卷,第679-689页。斯普林格. ·Zbl 1152.68595
[246] van Hoeve,W.J.,Pesant,G.,Rousseau,L.M.和Sabharwal,A.(2006年)。重新访问序列约束。在本哈莫,F.(编辑)约束编程原理与实践(CP 2006),计算机科学课堂讲稿,第4204卷,第620-634页。斯普林格. ·Zbl 1160.68573
[247] 维诺特,AF;瓦格纳,H,最优产能调度I,运筹学,10518-532,(1962)·Zbl 0113.14301
[248] 华莱士,M;诺维洛,理学硕士;《Eclipse:约束逻辑编程平台》,ICL系统杂志,12159-200,(1997)
[249] 威廉姆斯,惠普;严,H,整数规划中约束满足全异谓词的表示,计算学报,13,96-103,(2001)·Zbl 1238.90103
[250] Xia,Q.,Eremin,A.和Wallace,M.(2004年)。交通分流问题分解。Régin,J.C.和Rueher,M.(编辑)《计算机科学讲义》,第3011卷,第348-363页。斯普林格. ·Zbl 1094.90515号
[251] 严,H;胡克,JN,逻辑约束作为基数规则的严格表示,数学规划,85363-377,(1995)·Zbl 0954.90043
[252] 尤恩斯,TH;阿伦,我;胡克,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年)。真实世界船员调度问题的精确解。费城:在全国会议上的报告。
[255] 尤恩斯,TH;莫拉;苏扎,CC,城市轨道交通乘务员管理问题的混合列生成方法,交通科学,39273-388,(2005)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。