Constraint-Based Scheduling by Philippe Baptiste & Claude le Pape