On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs

Achterberg, 2004 Achterberg, 2009, SCIP: solving constraint integer programs, Math Program Comput, 1, 1, 10.1007/s12532-008-0001-1 Apt, 2003 Baptiste, 2001, vol. 39 Berthold, 2010, A constraint integer programming approach for resource-constrained project scheduling, vol. 6140, 313 Blazewicz, 1983, Scheduling subject to resource constraints: classification and complexity, Discrete Appl Math, 5, 11, 10.1016/0166-218X(83)90012-4 Brucker, 2006 Coelho, 2011, Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers, Eur J Oper Res, 213, 73, 10.1016/j.ejor.2011.03.019 2013 Geiger, 2017, A multi-threaded local search algorithm and computer implementation for the multi-mode, resource-constrained multi-project scheduling problem, Eur J Oper Res, 256, 729, 10.1016/j.ejor.2016.07.024 Hartmann, 2001, Project scheduling with multiple modes: a genetic algorithm, Ann Oper Res, 102, 111, 10.1023/A:1010902015091 Hartmann, 1998, Project scheduling with multiple modes: a comparison of exact algorithms, Networks, 32, 283, 10.1002/(SICI)1097-0037(199812)32:4<283::AID-NET5>3.0.CO;2-I Heilmann, 2003, A branch-and-bound procedure for the multi-mode resource-constrained project scheduling problem with minimum and maximum time lags, Eur J Oper Res, 144, 348, 10.1016/S0377-2217(02)00136-4 Heinz, 2013, Recent improvements using constraint integer programming for resource allocation and scheduling, vol. 7874, 12 Horbach, 2010, A boolean satisfiability approach to the resource-constrained project scheduling problem, Ann Oper Res, 181, 89, 10.1007/s10479-010-0693-2 JaCoP. JaCoP - Java constraint programming solver. 2014. http://jacop.osolpro.com. Kolisch, 1997, Local search for nonpreemptive multi-mode resource-constrained project scheduling, IIE Trans, 29, 987, 10.1080/07408179708966417 Kolisch, 1997, PSPLIB-a project scheduling problem library, Eur J Oper Res, 96, 205, 10.1016/S0377-2217(96)00170-1 Marques-Silva, 1999, GRASP: a search algorithm for propositional satisfiability, IEEE Trans Comput, 48, 506, 10.1109/12.769433 Marriott, 2008, The design of the zinc modelling language, Constraints, 13, 229, 10.1007/s10601-008-9041-4 Moskewicz, 2001, Chaff: engineering an efficient SAT solver, 530 NICTA research team. NICTA research team. 2013b. http://nicta.com.au/research. Ohrimenko, 2009, Propagation via lazy clause generation, Constraints, 14, 357, 10.1007/s10601-008-9064-x Online. The benchmark data set for the mrcpsp. 2016. www.mmlib.eu, Accessed:2016-09-28. Passmark CPU benchmark. Passmark CPU benchmark. 2014. https://www.cpubenchmark.net/cpu_list.php. Schnell, 2016, On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations, OR Spectrum, 38, 283, 10.1007/s00291-015-0419-6 Schutt, 2011 Schutt, 2011, Explaining the cumulative propagator, Constraints, 16, 250, 10.1007/s10601-010-9103-2 Schutt, 2012, Maximising the net present value for resource-constrained project scheduling, vol. 7298, 362 Schutt, 2013, Explaining time-table-edge-finding propagation for the cumulative resource constraint, vol. 7874, 234 Schutt, 2013, Solving RCPSP/max by lazy clause generation, J Scheduling, 16, 273, 10.1007/s10951-012-0285-x Sprecher, 1998, Multi-mode resource-constrained project scheduling by a simple, general and powerful sequencing algorithm, Eur J Oper Res, 107, 431, 10.1016/S0377-2217(97)00348-2 Hentenryck, 1988, Generality versus specificity: an experience with AI and OR techniques., 660 Peteghem, 2011, Using resource scarceness characteristics to solve the multi-mode resource-constrained project scheduling problem, J Heuristics, 17, 705, 10.1007/s10732-010-9152-0 Peteghem, 2014, An experimental investigation of metaheuristics for the multi-mode resource-constrained project scheduling problem on new dataset instances, Eur J Oper Res, 235, 62, 10.1016/j.ejor.2013.10.012 Vanhoucke, 2016, An overview of project data for integrated project management and control, J Modern Project Manage, 3 Zhu, 2006, A branch-and-cut procedure for the multimode resource-constrained project-scheduling problem, INFORMS J Comput, 18, 377, 10.1287/ijoc.1040.0121