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

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