Title: Principles and Practice of Constraint Programming -- CP 2011