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

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