Principles and Practice of Constraint Programming - J. Christopher Beck (Springer, 2017)