Schnell, Alexander; Hartl, Richard F. - In: Operations Research Perspectives 4 (2017), pp. 1-11
Bound algorithm with principles from Constraint Programming (CP) and Boolean Satisfiability Solving (SAT). We extend the … constraint in SCIP. We compare our approaches with the state-of-the-art exact algorithm from the literature on MRCPSP instances …