"The Skyblue Constraint Solver and Its Applications"
