My Masters Thesis, performed at SICS, was on constraint-based scheduling, specifically an implementation of an edge-finding filter for the cumulative propagator.