Principles and Practice of Constraint Programming - CP 2007 - Bessiere, Christian (Springer Berlin Heidelberg, 2020)