Integration of AI and OR Techniques in Constraint Programming - Claude-Guy Quimper (Springer International Publishing, 2016)