Ищется статья Friedman S., Supowit K. Finding the optimal variable ordering for binary decision diagrams.
Платные варианты я нашел, но это крайний случай. Возможно, кто-то сможет поделиться и без этого.
Ну или если вам известны альтернативные алгоритмы оптимизации диаграмм решений, то буду благодарен за ссылки.