Cudd Package：二进制决策图

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]是另一个，非常优秀，自足，并应用了该主题的介绍。

[1] Randal E. Bryant ＆＃34;基于图的算法，用于布尔函数操作＆＃34; IEEE计算机交易 卷。 C-35，No.8，1986年8月，pp.677-690

[2] Karl S. Brace，Richard L. Rudell，Randal E. Bryant ＆＃34; BDD包的有效实施＆＃34; 第27届ACM / IEEE设计自动化大会，1990年 pp.40--45

[3] Richard Rudell ＆＃34;动态变量排序 有序二元决策图＆＃34; IEEE / ACM国际会议 计算机辅助设计，1993年 pp.42--47

[4] Christel Baier和Joost-Pieter Katoen ＆＃34;模型检查原则＆＃34; 麻省理工学院出版社，2008 第6.7节，第381-421页

[5] Fabio Somenzi ＆＃34;二进制决策图＆＃34; 计算系统设计，第173卷 北约科学系列F：计算机和系统科学 pp.303--366，IOS Press，1999

[6] Henrik R. Andersen ＆＃34;二元决策图的介绍＆＃34; 高效算法和程序＆＃34;，1999年的讲义 哥本哈根IT大学