Principles and Practice of Constraint Programming - Rueher, Michel (Springer International Publishing, 2016)