Using constraint programming for solving RCPSP/max-cal

被引:0
作者
Stefan Kreter
Andreas Schutt
Peter J. Stuckey
机构
[1] Clausthal University of Technology,Operations Research Group, Institute of Management and Economics
[2] CSIRO,Decision Sciences, Data61
[3] The University of Melbourne,Department of Computing and Information Systems
来源
Constraints | 2017年 / 22卷
关键词
RCPSP/max-cal; Constraint programming; Lazy clause generation; Calendars; General temporal constraints;
D O I
暂无
中图分类号
学科分类号
摘要
Resource-constrained project scheduling with the objective of minimizing project duration (RCPSP) is one of the most studied scheduling problems. In this paper we consider the RCPSP with general temporal constraints and calendar constraints. Calendar constraints make some resources unavailable on certain days in the scheduling period and force activity execution to be delayed while resources are unavailable. They arise in practice from, e.g., unavailabilities of staff during public holidays and weekends. The resulting problems are challenging optimization problems. We develop not only six different constraint programming (CP) models to tackle the problem, but also a specialized propagator for the cumulative resource constraints taking the calendar constraints into account. This propagator includes the ability to explain its inferences so it can be used in a lazy clause generation solver. We compare these models, and different search strategies on a challenging set of benchmarks using the lazy clause generation solver chuffed and IBM CPLEX CP Optimizer, respectively. We close all but 8 of the open problems of the benchmark set, extend the benchmark set by instances with up to 500 activities, and show that CP solutions are highly competitive with existing Mip models of the problem.
引用
收藏
页码:432 / 462
页数:30
相关论文
共 23 条
[1]  
Aggoun A(1993)Extending CHIP in order to solve complex scheduling and placement problems Mathematical and Computer Modelling 17 57-73
[2]  
Beldiceanu N(2015)Multi-mode resource-constrained project scheduling problems with non-preemptive activity splitting Computers & Operations Research 53 275-287
[3]  
Cheng J(2016)Models and solution procedures for the resource-constrained project scheduling problem with general temporal constraints and calendars European Journal of Operational Research 251 387-403
[4]  
Fowler J(1982)Scheduling: The notions of hump, compulsory parts and their use in cumulative problems. Comptes Rendus de l’Académie des Sciences Paris, Série 1 Matématique 294 209-211
[5]  
Kempf K(1993)Optimal speedup of Las Vegas algorithms Information Processing Letters 47 173-180
[6]  
Mason S(2009)Propagation via lazy clause generation Constraints 14 357-391
[7]  
Kreter S(2011)Explaining the cumulative propagator Constraints 16 250-282
[8]  
Rieck J(2000)Batch scheduling in process industries: An application of resource-constrained project scheduling OR Spektrum 22 501-524
[9]  
Zimmermann J(1992)Calendarization of timeplanning in MPM networks ZOR – Methods and Models of Operations Research 36 423-438
[10]  
Lahrichi A(undefined)undefined undefined undefined undefined-undefined