Сокращенная упорядоченная бинарная диаграмма решений: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: «'''Сокращенная упорядоченная бинарная диаграмма решений (СУБДР)''' (''Reduced ordered binary decision diagram, ROBDD'') — см. Бинарный граф решений») |
(нет различий)
|
Текущая версия от 02:58, 22 ноября 2024
Сокращенная упорядоченная бинарная диаграмма решений (СУБДР) (Reduced ordered binary decision diagram, ROBDD) — см. Бинарный граф решений