Constraint-based local search - Van Hentenryck, Pascal.; Michel, Laurent. (MIT Press, 2005)