A branch-and-cut algorithm for scheduling of projects with variable-intensity activities · Study