A Boolean satisfiability approach to the resource-constrained project scheduling problem

被引：0
|
作者：
Andrei Horbach
机构：
[1] Christian-Albrechts-Universität zu Kiel,Institute of Business Administration
来源：
Annals of Operations Research | 2010年 / 181卷
关键词：
Project management; Resource constraints; Production-scheduling; Complete algorithms; Propositional satisfiability;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We formulate the resource-constrained project scheduling problem as a satisfiability problem and adapt a satisfiability solver for the specific domain of the problem. Our solver is lightweight and shows good performance both in finding feasible solutions and in proving lower bounds. Our numerical tests allowed us to close several benchmark instances of the RCPSP that have never been closed before by proving tighter lower bounds and by finding better feasible solutions. Using our method we solve optimally more instances of medium and large size from the benchmark library PSPLIB and do it faster compared to any other existing solver.
引用
收藏
页码：89 / 107
页数：18
相关论文
共 50 条
  • [1] A Boolean satisfiability approach to the resource-constrained project scheduling problem
    Horbach, Andrei
    [J]. ANNALS OF OPERATIONS RESEARCH, 2010, 181 (01) : 89 - 107
  • [2] A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver
    Servranckx, Tom
    Coelho, Jose
    Vanhoucke, Mario
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2024, 316 (03) : 815 - 827
  • [3] A Neurogenetic approach for the resource-constrained project scheduling problem
    Agarwal, Anurag
    Colak, Selcuk
    Erenguc, Selcuk
    [J]. COMPUTERS & OPERATIONS RESEARCH, 2011, 38 (01) : 44 - 50
  • [4] A constraint programming approach for the resource-constrained project scheduling problem
    Liess, Olivier
    Michelon, Philippe
    [J]. ANNALS OF OPERATIONS RESEARCH, 2008, 157 (01) : 25 - 36
  • [5] A lexicographic approach to the robust resource-constrained project scheduling problem
    Palacio, Juan D.
    Larrea, Olga L.
    [J]. INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, 2017, 24 (1-2) : 143 - 157
  • [6] A constraint programming approach for the resource-constrained project scheduling problem
    Olivier Liess
    Philippe Michelon
    [J]. Annals of Operations Research, 2008, 157 : 25 - 36
  • [7] A reactive scheduling approach for the resource-constrained project scheduling problem with dynamic resource disruption
    Xu, Jiaojiao
    Bai, Sijun
    [J]. KYBERNETES, 2024, 53 (06) : 2007 - 2028
  • [8] Resource-constrained project scheduling problem with reworking
    Liao, Yina
    Lu, Zhiqiang
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2019, 25 (11): : 2762 - 2774
  • [9] A matheuristic for the resource-constrained project scheduling problem
    Vanhoucke, Mario
    Coelho, Jose
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2024, 319 (03) : 711 - 725
  • [10] A SURVEY ON THE RESOURCE-CONSTRAINED PROJECT SCHEDULING PROBLEM
    OZDAMAR, L
    ULUSOY, G
    [J]. IIE TRANSACTIONS, 1995, 27 (05) : 574 - 586
12345