Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - Hutchison, David (Springer Berlin Heidelberg, 2012)