Integer Programming Approach for Optimal Resource Allocation in Workflow Automation Design | Synapse