Title: Principles and Practice of Constraint Programming - CP 2010