Оптимизация рекурсивного конвейера сведением к задаче удовлетворения ограничений

Рассматривается задача оптимизации расписания рекурсивного конвейера. Для этого вводится определение конвейера, описываемого связным ациклическим графом, каждая вершина которого представляет собой операцию или функцию управления, ассоциированную с соответствующей рекурсивной функцией из некоторого конечного набора. Каждая рекурсивная функция определяет отношение предшествования операции конвейера. Рассматривается решение задачи минимизации времени выполнения заказа конвейером на конечном множестве возобновляемых ресурсов. Решение осуществляется сведением к задаче удовлетворения ограничений.