×
安德烈·霍巴赫

资源约束项目调度问题的布尔可满足性方法。 （英语） Zbl 1209.90170号

安·Oper。研究。 181, 89-107 (2010).
摘要：我们将资源受限的项目调度问题表述为可满足性问题，并针对问题的特定领域采用可满足性求解器。我们的解算器是轻量级的，在寻找可行解和证明下限方面表现出良好的性能。我们的数值测试通过证明更严格的下限和找到更好的可行解，使我们能够关闭以前从未关闭过的RCPSP的几个基准实例。使用我们的方法，我们从基准库PSPLIB中优化求解了更多的中型和大型实例，并且与任何其他现有求解器相比，速度更快。

引用于6文件

MSC公司：

90B35型 运筹学中的确定性调度理论

关键词：

项目管理;资源限制;生产计划;完整算法;命题可满足

软件：

糠;PSPLIB公司;超小卫星;美国公共广播电视公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Horbach}，Ann.Oper。第181号、第89-107号决议（2010年；Zbl 1209.90170）
全文： 内政部 链接

参考文献：

[1] Abdulla，P.A.、Bjesse，P.和Eén，n.（2000年）。基于SAT求解器的符号可达性分析。S.Graf和M.I.Schwartzbach（编辑），计算机科学讲稿：第1785卷。TACAS（第411–425页）。柏林：斯普林格·Zbl 0971.68633号
[2] Achterberg，T.（2007）。混合整数规划中的冲突分析。离散优化，4（1），4–20·Zbl 1169.90414号 ·doi:10.1016/j.disopt.2006.10.006
[3] Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A.（2002年）。通用ILP与专用0-1 ILP：更新。L.T.Pileggi和A.Kuehlmann（编辑），ICCAD（第450–457页）。纽约：ACM。
[4] Asín，R.、Nieuwenhuis，R.，Oliveras，A.和Rodríguez-Carbonell，E.（2009年）。基数网络及其应用。在库尔曼（第167-180页）·Zbl 1247.68244号
[5] Bailleux，O.和Boufkhad，Y.（2003年）。布尔基数约束的高效CNF编码。在F.Rossi（编辑）中，计算机科学讲稿：第2833卷。CP（第108–122页）。柏林：斯普林格·Zbl 1273.68332号
[6] Bailleux，O.和Boufkhad，Y.（2004）。全CNF编码：计数约束情况。SAT中·Zbl 1273.68332号
[7] Bailleux，O.、Boufkhad，Y.和Roussel，O.（2009）。伪布尔约束到CNF的新编码。O.Kullmann（编辑），计算科学讲稿：第5584卷。满意度测试理论与应用——SAT 2009（第181-194页）。2009年6月30日至7月3日在英国斯旺西举行的第十二届国际SAT大会。柏林：斯普林格·Zbl 1247.68246号
[8] Baptiste，P.和Demassey，S.（2004）。资源受限项目调度的严格LP边界。OR光谱，26251-262·Zbl 1072.90012号 ·doi:10.1007/s00291-003-0155-1
[9] Biere，A.、Cimatti，A.、Clarke，E.M.和Zhu，Y.（1999）。无BDD的符号模型检查。在R.Cleaveland（Ed.）中，计算机科学讲稿：第1579卷。TACAS（第193-207页）。柏林：斯普林格。
[10] Brucker，P.和Knust，S.（2000年）。RCPSP的基于线性规划和约束传播的下限。《欧洲运筹学杂志》，127355–362·Zbl 0990.90055号 ·doi:10.1016/S0377-2217（99）00489-0
[11] Brucker，P.、Knust，S.、Schoo，A.和Thiele，O.（1998年）。资源约束项目调度问题的分枝定界算法。欧洲运筹学杂志，107，272–288·兹比尔0970.90030 ·doi:10.1016/S0377-2217（97）00335-4
[12] Brucker，P.、Drexl，A.、Möhring，R.、Neumann，K.和Pesch，E.（1999）。资源约束项目调度：符号、分类、模型和方法。欧洲运筹学杂志，112，3–41·Zbl 0937.90030号 ·doi:10.1016/S0377-2217（98）00204-5
[13] 库克，S.A.（1971）。定理证明过程的复杂性。第三次STOC会议记录，俄亥俄州Shaker Height（第151-158页）·Zbl 0253.68020号
[14] Davis，M.和Putnam，H.（1960年）。量化理论的计算过程。美国医学会杂志，7（3），201–215·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[15] Davis，M.、Logemann，G.和Loveland，D.（1962年）。用于理论证明的机器程序。ACM通信，5（7），394–397·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557
[16] Debels，D.和Vanhoucke，M.（2007年）。基于分解的遗传算法求解资源约束的项目调度问题。运营研究，55（3），457–469·Zbl 1167.90664号 ·doi:10.1287/opre.1060.358
[17] Demeulemester，E.L.和Herroelen，W.S.（1997）。资源受限项目调度问题的新基准测试结果。管理科学，43（11），1485-1492·Zbl 0914.90160号 ·doi:10.1287/mnsc.43.11.485
[18] Demeulemester，E.L.和Herroelen，W.S.（2002）。项目安排：研究手册。波士顿：Kluwer学院·Zbl 1059.90068号
[19] Dorndorf，U.、Pesch，E.和Phan Huy，T.（2000a）。资源约束项目调度问题的分枝定界算法。运筹学的数学方法，52，413–439·Zbl 1023.90024号 ·doi:10.1007/s001860000091
[20] Dorndorf，U.、Pesch，E.和Phan Huy，T.（2000b）。析取调度问题的约束传播技术。人工智能，122189-240·Zbl 0948.68010号 ·doi:10.1016/S0004-3702（00）00040-0
[21] Dorndorf，U.、Pesch，E.和Phan Huy，T.（2000年c）。一种面向时间的分枝定界算法，用于具有广义优先约束的资源受限项目调度。管理科学，46（10），1365-1384·Zbl 1232.90208号 ·doi:10.1287/mnsc.46.10.1365.12272
[22] Eén，n.和Sörensson，n.（2004）。可扩展SAT解决方案。《满意度测试的理论和应用》（第502-518页）。柏林：斯普林格·Zbl 1204.68191号
[23] Eén，n.和Sörensson，n.（2006年）。将伪布尔约束转化为SAT。可满足性，布尔建模与计算杂志，2，1–26·Zbl 1116.68083号
[24] Ernst，M.D.、Millstein，T.D.和Weld，D.S.（1997）。计划问题的自动SAT编译。IJCAI（第1169-1177页）。
[25] Gelder，A.V.（2008）。通过命题可满足性再看图着色。离散应用数学，156（2），230-243·Zbl 1131.05090号 ·doi:10.1016/j.dam.2006.07.016
[26] Gent，I.P.（2002）。SAT中的弧一致性。F.van Harmelen（编辑），ECAI（第121-125页）。阿姆斯特丹：IOS出版社。
[27] Gomes，C.P.、Kautz，H.、Sabharwal，A.和Selman，B.（2008）。可满足性求解器。《知识表示手册》（第89-132页）。阿姆斯特丹：爱思唯尔。
[28] Hartmann，S.和Briskorn，D.（2008年）。资源约束下项目调度的确定性建模方法综述。技术代表2/2008，汉堡工商管理学院。
[29] Herroelen，W.（2005）。项目计划——理论与实践。生产与运营管理，14（4），413–432·doi:10.1111/j.1937-5956.2005.tb00230.x
[30] 胡克，J.N.（2007）。放松。在《优化的综合方法》（第100卷）中。纽约：斯普林格。
[31] Igelmund，G.和Radermacher，F.J.（1983a）。随机调度问题预选策略的算法方法。网络，13，29–48·兹比尔0504.90040 ·doi:10.1002/net.3230130103
[32] Igelmund，G.和Radermacher，F.J.（1983b）。资源约束下随机项目网络优化的预选策略。网络，13，1–28·Zbl 0504.90039号 ·doi:10.1002/net.3230130102
[33] Klein，R.和Scholl，A.（1999a）。通过破坏性改进计算下限：资源约束项目调度的应用。欧洲运筹学杂志，112（2），322-346·Zbl 0938.90030号 ·doi:10.1016/S0377-2217（97）00442-6
[34] Klein，R.和Scholl，A.（1999b）。分散分枝定界：一种适用于资源受限项目调度的自适应搜索策略。中欧运筹学杂志，7177-201·Zbl 0940.90035号
[35] Kolisch，R.、Sprecher，A.和Drexl，A.（1995）。一类一般的资源约束项目调度问题的描述和生成。管理科学，411693-1703·Zbl 0870.90070号 ·doi:10.1287/mnsc.410.1693个
[36] Levin，L.（1973）。通用顺序搜索问题。信息传输问题，9265–266。
[37] Liess，O.和Michelon，P.（2008）。资源约束项目调度问题的约束规划方法。运筹学年鉴，157，25-36·Zbl 1151.90444号 ·doi:10.1007/s10479-007-0188-y
[38] Marques-Silva，J.（2008）。具有布尔可满足性的模型检查。算法杂志，63（1-3），3-16·Zbl 1151.68031号 ·doi:10.1016/j.jalgor.2008.02.007
[39] Marques-Silva，J.和Sakallah，K.A.（1999）。GRAPS：命题可满足性的搜索算法。IEEE计算机汇刊，48（5），506–521·Zbl 01935259号 ·数字对象标识代码：10.1109/12.769433
[40] Marques-Silva，J.P.和Lync，I.（2007年）。面向基数约束的稳健CNF编码。在C.Essiere（编辑），计算机科学讲义：第4741卷。CP（第483-497页）。柏林：斯普林格·Zbl 1145.68525号
[41] Mingozzi，A.、Maniezzo，V.、Ricciardelli，S.和Bianco，L.（1998年）。基于一种新的数学公式的资源约束项目调度问题的精确算法。管理科学，44714-729·Zbl 1004.90036号 ·doi:10.1287/mnsc.44.5.714
[42] Moskewicz，M.W.、Madigan，C.F.、Zhao，Y.、Zhang，L.和Malik，S.（2001）。Chaff：设计一个高效的SAT求解器。DAC（第530-535页）。
[43] Pesch，E.和Tetzlaff，U.A.W.（1996）。基于约束传播的作业车间调度。信息计算杂志，8144-157·Zbl 0866.90075号 ·doi:10.1287/ijoc.8.2.144
[44] Sebastiani，R.（2007）。懒惰可满足模理论。可满足性、布尔建模与计算杂志，3141-224·Zbl 1145.68501号
[45] Sprecher，A.（2000年）。以适度的内存需求竞争性地安排资源受限的项目。管理科学，46，710-723·Zbl 1231.90217号 ·doi:10.1287/mnsc.46.5.710.12044
[46] Warners，J.P.（1998）。线性不等式到合取范式的线性时间变换。《信息处理快报》，68（2），63–69·Zbl 1339.68244号 ·doi:10.1016/S0020-0190（98）00144-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。