Walsh, T.2022-03-022022-03-0220013-540-42863-1https://publica.fraunhofer.de/handle/publica/138113Principles and practice of constraint programming - CP 2001