[1] ввел порядок в бинарных диаграммах решений, [2] суммирует методы реализации, используемые на практике, [3] является алгоритмом переупорядочения по умолчанию в CUDD, [4] является введением, которое не предполагает какого-либо конкретного фона. , [5] является довольно подробным и математическим (автор Somenzi - автор CUDD), а [6] - еще одно, довольно превосходное, самостоятельное и прикладное введение в тему.
[1] Рэндал Э. Брайант
«Алгоритмы на основе графов для манипулирования булевыми функциями»
IEEE транзакции на компьютерах
Том С-35, № 8, август 1986 г., с. 677 - 690
.
[2] Карл С. Брейс, Ричард Л. Руделл, Рэндал Э. Брайант
«Эффективная реализация пакета BDD»
27-я конференция ACM / IEEE Design Automation, 1990
pp.40--45
[3] Ричард Руделл
«Порядок динамических переменных для
упорядоченные бинарные диаграммы решений "
Международная конференция IEEE / ACM по
Компьютерный дизайн, 1993
pp.42--47
[4] Кристель Байер и Йост-Питер Катоен
«Принципы проверки моделей»
MIT Press, 2008
раздел 6.7, с.381--421
[5] Фабио Сомензи
"Диаграммы двоичных решений"
Расчетная система проектирования, т.173
НАТО Science Series F: Компьютерные и системные науки
с.303--366, IOS Press, 1999
[6] Хенрик Р. Андерсен
«Введение в бинарные диаграммы решений»
Конспект лекций для "Эффективных алгоритмов и программ", 1999
Университет ИТ в Копенгагене