Современный этап развития машиностроения тесно связан с промышленной революцией 4.0. Интеграция цифровых технологий в машиностроительное производство открывает возможности для повышения эффективности производственного процесса.

Актуальность темы исследования. Проблема выполнимости в таких формах, как задача максимальной выполнимости (MAX-SAT), остается сложной задачей. Наиболее успешные подходы к решению таких задач используют форму систематического поиска по дереву.