×
菲利普·拉博里;杰罗姆Rogerie;保罗·肖;彼得·维利姆

用于调度的IBM ILOG CP优化器。在IBM/ILOG有20多年的时间安排限制。 （英语） Zbl 1400.90169号

约束条件 23，第2号，210-250（2018）.
概要：IBM ILOG CP Optimizer是一个通用的基于CP的系统，用于建模和解决调度问题。它提供了一种带有简单数学概念的代数语言，用于在组合优化框架中捕获调度问题的时间维度。CP Optimizer实现了一种模型和运行范式，极大地减轻了用户理解CP或调度算法的负担：到目前为止，建模是最重要的。自动搜索提供了开箱即用的良好性能，并且正在不断改进。本文详细概述了用于调度的CP Optimizer：典型应用程序、建模概念、示例、自动搜索、工具和性能。

引用于33文件

MSC公司：

90B35型 运筹学中的确定性调度理论
90C27型 组合优化
90-03 运筹学和数学规划史
01A61号 21世纪数学史
90-04 与运筹学和数学编程有关的问题的软件、源代码等

关键词：

行程安排;约束编程;建模;自动搜索

软件：

炸薯条;CSPLib数据库;CPLEX公司;Gecode公司;PSPLIB公司;乔科;ILOG时间表;CP优化器;OPL公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Laborie}等人，《限制条件》23，第2期，第210--250页（2018年；Zbl 1400.90169）
全文： 内政部

参考文献：

[1] 阿贡，A；Beldiceanu，N，《扩展CHIP以解决复杂调度问题》，《数学与计算机建模杂志》，17，57-73，（1993）·doi:10.1016/0895-7177（93）90068-A
[2] Booth，K.、Nejat，G.和Beck，C.（2016年）。养老院中多机器人任务分配和调度的约束编程方法。在第22届约束规划原理与实践国际会议论文集（CP 2016）（第539-555页）。
[3] 布斯，K；交易，T；内贾特，G；Beck，C，移动机器人任务规划的混合整数和约束编程技术，IEEE机器人与自动化快报，1500-507，（2016）·doi:10.1109/LRA.2016.2522096
[4] Brafman，R.I.（2001）。含有许多二进制子句的命题公式的简化程序。在第17届国际人工智能联合会议记录（IJCAI 2001）（第515-522页）。
[5] Cappart，Q.和Schaus，P.（2017年）。使用时间间隔变量在实时情况下重新安排铁路交通。在第14届人工智能和操作规则技术在约束编程中的集成国际会议记录（CPAIOR 2017）（第312-327页）·Zbl 1491.90081号
[6] 塞斯塔·A和奥迪·A（1996）。在简单的时间问题中获得效率和灵活性。在第三届时间表征和推理国际研讨会会议记录（TIME 1996）（第45-50页）。
[7] 切尔卡斯基，B；Goldberg，A；Radzic，T，《最短路径算法：理论和实验评估》，《数学规划》，73129-174，（1996）·Zbl 0853.9011号
[8] Dechter，R；梅里，我；Pearl，J，时间约束网络，人工智能，49，61-96，（1991）·兹比尔0737.68070 ·doi:10.1016/0004-3702（91）90006-6
[9] Dvořák，J.、Heller，M.和Hanzálek，Z.（2017年）。TarticleArticleEthernet网络上时间触发流量的最大化IEEE第13届工厂通信系统国际研讨会会议记录（WFCS 2017）.
[10] Frank，J.、Do，M.和Tran，T.T.（2016）。为地球静止卫星安排海洋颜色观测。在第26届国际自动规划与调度会议记录（ICAPS 2016）.
[11] Gay，S.、Hartert，R.和Schaus，P.（2015）。针对累积约束的简单且可扩展的时间表筛选。在第21届约束规划原理与实践国际会议论文集（CP 2015）（第149-157页）·Zbl 1459.90093号
[12] GECODE:GECODE工具包（2016）。可在http://www.gecode.org/。
[13] Gedik，右；Kirac，E；米尔本，AB；Rainbow，C，有时间窗口的团队定向运动问题的约束编程方法，计算机与工业工程，107178-195，（2017）·doi:10.1016/j.cie.2017.03.017
[14] Gedik，R；雨水，C；纳希特曼，H；Pohlb，E，《具有序列相关设置时间和作业可用间隔的并行机调度问题分析》，《欧洲运筹学杂志》，251，640-650，（2016）·Zbl 1346.90346号 ·doi:10.1016/j.ejor.2015.11.020
[15] Giles，K.和van Hoeve，W.J.（2016）。用约束规划求解一个供应配送调度问题。在第22届约束规划原理与实践国际会议论文集（CP 2016）（第602-617页）。
[16] Godard，D.、Laborie，P.和Nuijten，W.（2005）。累积调度的随机大邻域搜索。在第十五届国际自动规划和调度会议记录（ICAPS 2005）（第81-89页）。
[17] Gregory，A.和Majumdar，S.（2016）。针对云数据中心中具有服务级别协议的MapReduce作业的节能资源管理。在IEEE计算机和信息技术国际会议记录（CIT 2016）（第568-577页）。
[18] 哈姆，A；Cakici，E，并行批处理机器的柔性车间调度问题：MIP和CP方法，计算机与工业工程，102160-165，（2016）·doi:10.1016/j.cie.2016.11.001
[19] Han，J.、Yuan，Z.、Han，Y.、Peng，C.、Liu，J.和Li，G.（2017）。异构Hadoop系统的自适应调度算法。在IEEE/ACIS第16届计算机和信息科学国际会议记录（ICIS 2017）（第845-850页）。
[20] 胡克，JN，《基于逻辑的折弯机分解的规划和调度》，运筹学，55，588-602，（2007）·Zbl 1167.90512号 ·doi:10.1287/opre.1060.371
[21] IBM:ILOG CPLEX Optimization Studio 12.7.1:CP Optimizer在线文档（2017）。可在http://ibm.biz/COS1271文档。
[22] Kinable，J.（2016）。应用于共享自行车的水库平衡约束第十三届人工智能与操作规则技术集成约束编程国际会议论文集（CPAIOR 2016）（第216-228页）。
[23] Kinable，J.、van Hoeve，W.J.和Smith，S.（2016）。一个实际的扫雪机路径问题的优化模型。在第13届人工智能和OR技术在约束编程中的集成国际会议论文集（CPIOR 2016）（第229-245页）·Zbl 1479.90177号
[24] Kinnunen，T.（2016）。具有可变劳动力需求和人力的成本效益假期规划。阿尔托大学科学院技术报告。
[25] Kizilay，D.、Eliiyi，D.T.和Van Hentenryck，P.（2018年）。港口集装箱码头综合运营的约束和数学规划模型。在第十五届约束规划、人工智能和运筹学集成国际会议论文集（CPAIOR 2018）. ·兹比尔1511.90282
[26] 科利什，R；Sprecher，A，PSPLIB-项目调度问题库，《欧洲运筹学杂志》，96，205-216，（1996）·Zbl 0947.90587号 ·doi:10.1016/S0377-2217（96）00170-1
[27] Kramer，L.A.、Barbulescu，L.V.和Smith，S.F.（2007年）。了解解决超额订阅调度的算法中的性能权衡。在第22届AAAI人工智能会议记录（AAAI 2007）（第1019-1024页）。
[28] Ku，W.Y.，&Beck，J.C.（2016）。作业车间调度的混合整数规划模型：计算分析计算机与运筹学·Zbl 1349.90365号
[29] Laborie，P.（2009）。IBM ILOG CP Optimizer，用于详细调度三个问题。在第六届组合优化问题约束规划中人工智能与操作规则技术集成国际会议论文集（CPAIOR 2009）（第148-162页）。
[30] Laborie，P.（2014）。在黑盒约束网络中提取MUC的最优迭代算法第21届欧洲人工智能会议记录（ECAI 2014）（第1051-1052页）。
[31] Laborie，P.（2018）。约束编程的目标景观。在第十五届约束规划、人工智能和运筹学集成国际会议论文集（CPAIOR 2018）. ·Zbl 1508.68338号
[32] Laborie，P.（2018）。关于混合资源分配和调度的MIP、CP和混合方法的比较的更新。在第15届约束编程、人工智能和运筹学集成国际会议论文集（CPIOR 2018）. ·Zbl 1508.68339号
[33] Laborie，P.和Godard，D.（2007年）。自适应大邻域搜索：应用于单模调度问题。In Baptiste，P.、Kendall，G.、Munier-Kordon，A.和Sourd，F.（编辑）第三届多学科国际会议议程：理论与应用（MISTA 2007）（第276-284页）。巴黎。
[34] Laborie，P.和Messaoudi，B.（2017年）。GEOCAPE观测调度问题的新结果。在第27届国际自动规划和调度会议记录（ICAPS 2017）（第382-390页）。
[35] Laborie，P.和Rogerie，J.（2008）。具有条件时间间隔的推理。在第21届佛罗里达人工智能研究学会国际会议记录（FLAIRS 2008）（第555-560页）。
[36] 拉博里，P；Rogerie，J，IBM ILOG CP优化器中的时间线性松弛，《调度杂志》，19，391-400，（2016）·Zbl 1347.90044号 ·doi:10.1007/s10951-014-0408-7
[37] Laborie，P.、Rogerie，J.、Shaw，P.和Vili m，P.（2009年）。条件时间间隔推理，第二部分：资源的代数模型。在佛罗里达人工智能研究学会第22届国际会议记录（FLAIRS 2009）（第201-206页）。
[38] 拉扎列夫，A；Bronnikov，S；杰拉西莫夫，A；穆萨托娃，E；彼得罗夫，A；波诺马列夫，K；哈拉莫夫，M；库斯努恩，N；Yadrentsev，D，宇航员训练计划的数学建模，大系统管理，63，129-154，（2016）
[39] Le Pape，C，ILOG时间表中资源约束的实现：基于约束的调度系统开发库，智能系统工程，355-66，（1994）·doi:10.1049/ise.1994.0009
[40] Morton，T.和Pentico，D.（1993年）。启发式调度系统纽约：威利。
[41] Mossige，M.CSPLib问题073：测试调度问题。http://www.csplib.org/Problems/prob073。
[42] Policella，N.、Cesta，A.、Oddi，A.和Smith，S.（2004）。通过时间灵活性生成稳健的时间表。在第14届自动化规划和日程安排国际会议记录（ICAPS 2004）（第209-218页）·Zbl 1152.90460号
[43] Prud’homme，C.、Fages，J.G.和Lorca，X.（2016）。Choco文档。TASC，INRIA Rennes，LINA CNRS UMR 6241，COSLING S.A.S.公司。http://www.choco-solver.org。
[44] Puget，J.F.（2004）。约束编程的下一个挑战是：使用的简单性。在第十届约束规划原则与实践国际会议论文集（CP2004）（第5-8页）。
[45] 秦，T；杜，Y；Sha，M，评估IP和CP在时变水深泊位分配中的解决方案性能，运输研究，87，167-185，（2016）·doi:10.1016/j.tre.2016.01.007
[46] Rainwater，C.、Nachtmann，H.和Adbesh，F.（2016）。环境工作窗口内的最佳疏浚船队调度。技术报告，海运研究和教育中心。
[47] Roofigari-Esfahan，N.和Razavi，S.（2017年）。不确定感知线性调度优化：一种时空约束满足方法。建筑工程与管理杂志，143(5).
[48] Schmitt，M.和Stuetz，P.（2016）。感知管理框架中多无人机的感知导向合作：系统概念和初步结果。在IEEE/AIAA第35届数字航空电子系统会议记录（DASC 2016）（第1-10页）。
[49] Shaw，P.（1998）。使用约束规划和局部搜索方法解决车辆路径问题。在第四届约束规划原理与实践国际会议论文集（CP 1998）（第417-431页）。
[50] 交易，T；Vaquero，T；内贾特，G；Beck，C，《养老院中的机器人：将非自助计划和调度应用于辅助机器人团队》，《人工智能研究杂志》，58，523-590，（2017）
[51] Van Hentenryck，P.（1999）。OPL优化编程语言。剑桥：麻省理工学院出版社。
[52] 维利姆，P.（2007）。计划中的全局约束.博士论文，布拉格查理斯大学数学和物理系，理论计算机科学和数学逻辑系，KTIML MFF，Universita Karlova，Malostranskénámě2/25，118 00 Praha 1，捷克共和国。http://vilim.eu/pertr/disertace.pdf。
[53] Vilím，P.（2011年）。离散累积资源的时间表边缘查找过滤算法。在Achterberg，T.和Beck，J.（编辑）第八届组合优化问题约束编程中人工智能和OR技术集成国际会议论文集（CPAIOR-2011），计算机科学讲义（第6697卷，第230245页）。柏林：施普林格. ·Zbl 1302.90090号
[54] Vili m，P.、Laborie，P.和Shaw，P.（2015）。基于约束的调度的故障导向搜索。在第十二届人工智能和操作规则技术在约束编程中的集成国际会议记录（CPAIOR 2015）（第437-453页）·Zbl 1459.90107号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。