Principles and Practice of Constraint Programming - O'Sullivan (Springer International Publishing, 2014)