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