Principles and Practice of Constraint Programming - Hooker, John (Springer International Publishing, 2020)