Актуальность темы диссертации. Анализ несущей способности любых конструкций помимо расчета на прочность и жесткость должен включать проверку устойчивости как в целом системы, так и ее элементов в отдельности.

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