Cudd 包：二元决策图
任何人都可以在 Cudd 包上指出一些好的材料吗？我在这里寻找一些简洁的事情。 http://vlsi.colorado.edu/~fabio/CUDD/ 上的那个没有似乎没有对此事做出很好的介绍。欢迎任何有关 BDD 及其应用的视频讲座。
感谢和问候
Can anyone point some good material on Cudd package. I am looking for some concise matter here. The one at http://vlsi.colorado.edu/~fabio/CUDD/ doesn't seem to give a good introduction to the matter. Any video lectures relating to BDD and its application are welcome.
Thanks and regards
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
请参阅 Knuth 的 Computer Musings，了解涵盖基础知识以及许多不同应用的视频讲座：
See Knuth's Computer Musings for video lectures covering the basics as well as many varied applications:
[1] 介绍了二元决策图中的排序，[2] 很好地总结了实践中使用的实现技术，[3] 是 CUDD 中的默认重新排序算法，[4] 是不假设任何特定背景的介绍，[5] ] 非常详细和数学化（由 CUDD 的作者 Somenzi 编写），[6] 是另一个非常优秀的、独立的、对该主题的应用介绍。
[1] 兰德尔·E·布莱恩特
“基于图的布尔函数操作算法”
IEEE 计算机汇刊
卷。 C-35，第 8 期，1986 年 8 月，第 677--690 页
[2] Karl S. Brace、Richard L. Rudell、Randal E. Bryant
“BDD 包的高效实施”
第 27 届 ACM/IEEE 设计自动化会议，1990 年
第40--45页
[3] 理查德·鲁德尔
“动态变量排序
有序二元决策图"
IEEE/ACM 国际会议
计算机辅助设计，1993
pp.42--47
[4] 克里斯特尔·拜尔 (Christel Baier) 和乔斯特·彼得·卡托恩 (Joost-Pieter Katoen)
《模型检验原理》
麻省理工学院出版社，2008
第 6.7 节，第 381--421 页
[5] Fabio Somenzi
《二元决策图》
计算系统设计，Vol.173
北约科学系列 F：计算机和系统科学
第 303--366 页，IOS 出版社，1999 年
[6] Henrik R. Andersen
“二元决策图简介”
“高效算法和程序”讲义，1999
哥本哈根信息技术大学
[1] introduced ordering in binary decision diagrams, [2] summarizes well the implementation techniques used in practice, [3] is the default reordering algorithm in CUDD, [4] is an introduction that doesn't assume any particular background, [5] is quite detailed and mathematical (by Somenzi -- the author of CUDD), and [6] is another, quite excellent, self-contained, and applied introduction to the topic.
[1] Randal E. Bryant
"Graph-based algorithms for Boolean function manipulation"
IEEE Transactions on Computers
Vol. C-35, No.8, August, 1986, pp.677--690
[2] Karl S. Brace, Richard L. Rudell, Randal E. Bryant
"Efficient implementation of a BDD package"
27th ACM/IEEE Design Automation Conference, 1990
pp.40--45
[3] Richard Rudell
"Dynamic variable ordering for
ordered binary decision diagrams"
IEEE/ACM International Conference on
Computer-Aided Design, 1993
pp.42--47
[4] Christel Baier and Joost-Pieter Katoen
"Principles of model checking"
MIT Press, 2008
section 6.7, pp.381--421
[5] Fabio Somenzi
"Binary decision diagrams"
Calculational system design, Vol.173
NATO Science Series F: Computer and systems sciences
pp.303--366, IOS Press, 1999
[6] Henrik R. Andersen
"An introduction to binary decision diagrams"
Lecture notes for "Efficient Algorithms and Programs", 1999
The IT University of Copenhagen