Beek, P. van2022-03-022022-03-0220053-540-29238-1978-3-540-29238-8https://publica.fraunhofer.de/handle/publica/143259Principles and practice of constraint programming - CP 2005