Программирование в ограничениях

Программирование в ограничениях (CP) — это декларативная парадигма оптимизации, в которой задача формулируется как набор переменных, конечных доменов и ограничений, а решатель систематически ищет присваивания, удовлетворяющие всем ограничениям. CP, всесторонне формализованное Росси, ван Биком и Уолшем в их Handbook of Constraint Programming (2006), объединяет отсечение на основе распространения с интеллектуальным поиском с возвратом для решения комбинаторных задач в областях составления расписаний, планирования и конфигурирования.