【发布时间】：2011-05-14 10:23:20
【问题描述】：
任何人都可以在 Cudd 包上指出一些好的材料。我在这里寻找一些简洁的东西。 http://vlsi.colorado.edu/~fabio/CUDD/ 的那个似乎没有很好地介绍这个问题。欢迎任何与 BDD 及其应用相关的视频讲座。
感谢和问候
【问题讨论】：
标签： binary binary-decision-diagram cudd
【发布时间】：2011-05-14 10:23:20
【问题描述】：
请参阅 Knuth 的 Computer Musings，了解涵盖基础知识和许多不同应用的视频讲座：
【讨论】：
[1] 在二元决策图中介绍了排序，[2] 很好地总结了实践中使用的实现技术，[3] 是 CUDD 中的默认重新排序算法，[4] 是一个不假设任何特定背景的介绍, [5] 非常详细和数学（由 Somenzi -- CUDD 的作者撰写），[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 pp.40--45
[3] 理查德·鲁德尔 "动态变量排序 有序二元决策图" IEEE/ACM 国际会议 计算机辅助设计，1993 pp.42--47
[4] Christel Baier 和 Joost-Pieter Katoen 《模型检验原理》 麻省理工学院出版社，2008 第 6.7 节，第 381--421 页
[5] 法比奥·萨门齐 “二元决策图” 计算系统设计 Vol.173 北约科学系列 F：计算机和系统科学 pp.303--366，IOS 出版社，1999 年
[6] 亨利克·安徒生 《二元决策图简介》 “高效算法和程序”讲义，1999 哥本哈根 IT 大学
【讨论】：