Oz Scheduler: a workbench for scheduling problems | IEEE Conference Publication | IEEE Xplore