Cudd包裝：二進制decison圖

Question

任何人都可以指出一些關於Cudd包的好材料。我在這裏尋找一些簡潔的問題。在http://vlsi.colorado.edu/~fabio/CUDD/似乎沒有給出一個很好的介紹。歡迎任何有關BDD及其應用的視頻講座。

感謝和問候

Answer 1

見Knuth的Computer Musings覆蓋的基礎知識視頻講座以及許多不同的應用：

• Fun With Binary Decision Diagrams (BDDs)
• Fun With Zero-Suppressed Binary Decision Diagrams (ZDDs)

Answer 2

[1]提出訂貨的二元決策圖，[2]很好地總結了實踐中使用的實現技術，[3]是CUDD中的默認重排算法[4]是一個不承擔任何特定背景的介紹，[5]是非常詳細和數學的（Somenzi是CUDD的作者），[6]是另一個，非常好，自成體系，並應用於該主題的介紹。

Randal E. Bryant 「用於布爾函數操縱的基於圖的算法」 IEEE Transactions on Computers Vol。 C-35，第8號，1986年8月，pp.677--690

[2] S.卡爾底架，理查德L. Rudell，蘭德爾E.科比 「高效實現一個BDD包的」 第27屆 ACM/IEEE設計自動化大會，1990年 pp.40--45

[3]理查德Rudell 「動態變量排序爲 有序二元決策圖」 IEEE/ACM國際會議 計算機輔助設計，1993年 pp.42--47

[4] Christel Baier and Joost的 - 彼得Katoen 麻省理工學院出版社，2008年 第6.7節，pp.381--421

[5]法比奧Somenzi 「二元決策圖」 的測算系統設計，Vol.173 「模型檢驗的原則」北約科學E輯：計算機與系統科學 pp.303--366，IOS出版社，1999年

[6]亨裏克R.安徒生 「介紹到二元決策圖」 講義爲「高效的算法和程序「，1999 哥本哈根IT大學