Scheduling projects with multi-skilled personnel by a hybrid MILP/CP benders decomposition algorithm · Study