Сокращенная упорядоченная бинарная диаграмма решений
Перейти к навигации
Перейти к поиску
Сокращенная упорядоченная бинарная диаграмма решений (СУБДР) (Reduced ordered binary decision diagram, ROBDD) — см. Бинарный граф решений