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