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

Исследуется класс алгоритмов минимизации булевых функций, использующих конъюнкции из сокращенной дизъюнктивной нормальной формы, а также окрестности первого порядка таких конъюнкций. Из рассматриваемого класса выделяется конкретный алгоритм, который во многих случаях оказывается наилучшим в классе. Библ. 2. Фиг. 3.