Integration of AI and OR Techniques in Constraint Programming - Michel (Springer International Publishing, 2015)