Constraint-Propagation-Based Cutting Planes: An Application to the Resource-Constrained Project Scheduling Problem · Study