Истоки многих проблем, с которыми сталкиваются люди из моногородов, находятся в отсутствии системы созданного широкого социального партнерства, эффективной внутренней и внешней социальной и инвестиционной политики в себе (внутри компании и политики

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