Один из тревожных симптомов, характеризующих духовное состояние современного социума, находит свое проявление в высокой степени подверженности представителей всех слоев населения неврозам и психическим заболеваниям. Независимо от уровня достатка и образованности

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