Principles and Practice of Constraint Programming - CP 2005 - Beek, Peter van (Springer Berlin Heidelberg, 2020)