Scheduling and constraint propagation · Study