Dechter, R.2022-03-022022-03-0220003-540-41053-8https://publica.fraunhofer.de/handle/publica/136917Principles and practice of constraint programming - CP 2000