×
胡克，J.N。

计划和调度的混合方法。 （英语） 邮编1122.90054

制约因素 10，第4期，385-401（2005）。
摘要：我们结合混合整数线性规划（MILP）和约束规划（CP）来解决规划和调度问题。使用MILP将任务分配给设施，并使用CP进行调度，这两者通过基于逻辑的Benders分解进行链接。分配给设施的任务可能会根据资源限制（累积调度）并行运行。我们解决了最小成本问题，以及所有任务都具有相同发布日期和截止日期的最小完工时间问题。相对于MILP和CP的最新技术，我们获得了几个数量级的计算加速。

引用于24文件

MSC公司：

90立方厘米 混合整数编程
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
90B35型 运筹学中的确定性调度理论

关键词：

混合方法;计划和调度;本德分解
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Hooker}，约束10，No.4，385--401（2005；Zbl 1122.90054）
全文： 内政部 链接

参考文献：

[1] Baptiste，P.、Le Pape，C.和Nuijten，W.（2001）。基于约束的调度：将约束规划应用于调度问题。马萨诸塞州波士顿Kluwer·邮编1094.90002
[2] Benders，J.F.（1962年）。用于解决混合变量编程问题的分区过程。数字。数学。4: 238–252. ·Zbl 0109.38302号 ·doi:10.1007/BF01386316
[3] Cambazard，H.、Hladik，P.-E.、Déplanche，A.-M.、Jussien，N.和Trinquet，Y.（2004）。硬实时任务分配算法的分解和学习。Wallace，M.主编，《约束编程的原理与实践》（CP 2004），Lect。注释计算。科学。柏林施普林格·Zbl 1152.68545号
[4] de Siqueira N，J.L.和Puget，J.F.（1988）。《基于解释的故障概化》，欧洲人工智能会议（ECAI-88），第339-344页。慕尼黑皮特曼出版社。
[5] Eremin，A.和Wallace，M.（2001年）。约束逻辑规划中的混合Benders分解算法。Walsh，T.编辑，《约束编程的原理与实践》（CP 2001），Lect。注释计算。科学。，2239，第318–325页。柏林施普林格·兹比尔1067.68630
[6] Geoffrion，A.M.（1972年）。广义Benders分解。J.优化。理论应用。237–260. ·Zbl 0229.90024 ·doi:10.1007/BF00934810
[7] 胡克，J.N.（2000）。基于逻辑的优化方法：结合优化和约束满足。John Wiley&Sons，纽约·Zbl 0974.90001号
[8] 胡克，J.N.（2004）。计划和调度的混合方法。Wallace，M.主编，《约束编程的原理与实践》（CP 2004），Lect。注释计算。科学。柏林施普林格·Zbl 1152.90445号
[9] Hooker，J.N.和Ottoson，G.（2003年）。基于逻辑的Benders分解。数学。程序。96: 33–60. ·Zbl 1023.90082号
[10] 胡克，J.N.和严，H.（1995）。通过Benders分解进行逻辑电路验证。Saraswat，V.和Van Hentenryck，P.主编，《约束编程的原理与实践：新港论文》，麻省理工学院出版社，马萨诸塞州剑桥，第267-288页。
[11] Jain，V.和Grossmann，I.E.（2001年）。一类优化问题的混合MILP/CP模型算法。信息J.计算。13: 258–276. ·Zbl 1238.90106号 ·doi:10.1287/ijoc.13.4.258.9733
[12] Junker，U.（2001）。快速解释：任意约束传播算法的冲突检测。在西雅图举行的IJCAI01约束建模和解决问题研讨会（CONS-1）上。
[13] Jussien，N.（2003）。《使用带约束编程的解释的多功能性》，研究报告03–04-INFO。法国南特矿业公司。
[14] Jussien，N.和Ouis，S.（2001年）。约束编程的用户友好解释。在ICLP’01第11届逻辑编程环境研讨会（WLPE’01）上。塞浦路斯帕福斯。
[15] Ouis，S.、Jussien，N.和Boizumault，P.（2003）。K-约束编程的相关解释。在第十六届国际佛罗里达人工智能研究学会会议（FLAIRS 03）上。AAAI出版社，加利福尼亚州门洛帕克，第318–325页。
[16] Sqalli，M.H.和Freuder，E.C.（1996年）。基于推理的约束满足支持解释。在全国人工智能会议（AAAI 96）上。
[17] Thorsteinsson，E.S.（2001）。Branch-and-Check：集成混合整数编程和约束逻辑编程的混合框架。Walsh，T.主编，《约束编程的原理与实践》（CP 2001），《计算机科学2239课堂讲稿》，第16-30页。斯普林格·Zbl 1067.68677号
[18] Türkay，M.和Grossmann，I.E.（1996年）。用于过程网络优化综合的基于逻辑的MINLP算法。计算。化学。工程20:959–978·doi:10.1016/0098-1354（95）00219-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。