Integration of AI and OR Techniques in Constraint Programming - Domenico Salvagnin, Michele Lombardi (Springer, 2017)