An exact algorithm for minimizing resource availability costs in project scheduling · Study