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

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