Heuristic Augmentation of SAT Solvers for MRCPSP

The multi-mode resource-constrained project scheduling problem (MRCPSP) is an NP-hard scheduling problem that concerns activities with several execution modes connected by precedence relations. Precedence relations define a partial ordering in which activities must be processed. The execution mode of an activity defines its processing time and...