Вы здесь

constraint satisfaction