Минимизация частично определенных булевых функций, представленных BDD-графами

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