Exact Methods for Resource Leveling Problems · Study