Principles and Practice of Constraint Programming - Beck (Springer International Publishing, 2017)