SKED: An integrated decision support system for scheduling problems