В последние десятилетия в России и за рубежом проявляется всё больший интерес к применению композитных материалов в различных сферах деятельности человечества, в том числе и в строительстве.

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