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