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

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