Анализ состояния здоровья детей, подростков и более взрослого населения в России и в Мире свидетельствует о наличии многочисленных отклонений от нормы, провоцирующих заболевания и развитие патологий опорно-двигательного аппарата, их влияние на нервную систему и самочу

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