Упорядоченная бинарная диаграмма решений

Упорядоченная бинарная диаграмма решений (Ordered binary decision diagram) или Упорядоченная БДР (Ordered BDD) — см. Бинарный граф решений