An Efficient Integer Programming Algorithm with Network Cuts for Solving Resource-Constrained Scheduling Problems | Synapse