Пакет Cudd: бинарные диаграммы

Question

Может кто-нибудь указать хороший материал на упаковке Cudd. Я ищу какой-то краткий вопрос здесь. Тот, что на http://vlsi.colorado.edu/~fabio/CUDD/, похоже, не дает хорошего представления об этом. Любые видео лекции, касающиеся BDD и его применения приветствуются.

Спасибо и всего наилучшего

Answer 1

Посмотрите Компьютерные размышления Кнута для видео лекций, покрывающих основы, а также много различных заявлений:

• Fun с двоичными диаграммами решений (BDD)
• Fun с нулевыми подавленными бинарными диаграммами решений (ZDD)

Answer 2

[1] ввел порядок в бинарных диаграммах решений, [2] обобщает методы реализации, используемые на практике, [3] является алгоритмом переупорядочения по умолчанию в CUDD, [4] является введением, которое не предполагает какого-либо конкретного фона, [5] довольно подробный и математический (автор Сомензи - автор CUDD), а [6] - еще одно, довольно превосходное, самостоятельное и прикладное введение в тему.

[1] Рэндал Э. Брайант "Основанные на графах алгоритмы для манипулирования булевыми функциями" IEEE Transactions on Computers Vol. С-35, № 8, август 1986 г., с.677--690.

[2] Карл С. Брейс, Ричард Л. Руделл, Рэндал Э. Брайант, "Эффективная реализация пакета BDD", 27-я конференция ACM/IEEE по автоматизации проектирования, 1990, стр.40--45.

[3] Ричард Руделл "Порядок динамических переменных для упорядоченных двоичных диаграмм решений" IEEE/ACM Международная конференция по автоматизированному проектированию, 1993, стр. 42--47

[4] Кристель Байер и Джуст-Питер Катоен "Принципы проверки моделей" MIT Press, 2008, раздел 6.7, с.381--421

[5] Фабио Сомензи "Диаграммы двоичных решений" Проектирование вычислительных систем, том 173, Вестник НАТО, Серия F: Компьютерные и системные науки, с.303--366, IOS Press, 1999.

[6] Хенрик Р. Андерсен "Введение в бинарные диаграммы принятия решений". Конспект лекций для "Эффективных алгоритмов и программ", 1999 год. Университет ИТ в Копенгагене.