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

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