Актуальность выбранной темы обуславливается широкой необходимостью в разработке унифицированного метода оценки безопасности труда и её обоснования в соответствии с Типовым положением о системе управления охраной труда (Приказ Минтруда России от 19.08.2016 №438н).

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