Сокращенная упорядоченная бинарная диаграмма решений

Материал из WEGA

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Сокращенная_упорядоченная_бинарная_диаграмма_решений&oldid=15571