6 Scheduling Support: Schedule

This chapters describes propagators and distributors for scheduling applications. More information on scheduling in Oz can be found in [Wür96] and [Wür97]. A tutorial account on scheduling can be found in Chapter 11 of “Finite Domain Constraint Programming in Oz. A Tutorial.”.

• 6.1 Serialization for Unary Resources

• 6.2 Distribution

• 6.3 Cumulative Scheduling

• 6.4 Miscellaneous Propagators