Binary Cudd包：二进制十进制图

有人能指出Cudd包装上的一些好材料吗。我在这里找一些简明的东西。现场的那个人似乎没有很好地介绍这件事。欢迎任何有关BDD及其应用的视频讲座

感谢和问候

请参见Knuth的视频讲座，内容包括基础知识和多种应用：

---

[1]介绍了二进制决策图中的排序，[2]很好地总结了实践中使用的实现技术，[3]是CUDD中的默认重新排序算法，[4]是一个介绍，不需要任何特定背景，[5]是非常详细和数学的（由CUDD的作者Somenzi编写），[6]是另一个，非常优秀、完备、实用的主题介绍

[1] 兰德尔·E·布莱恩特 “基于图形的布尔函数操作算法” 电气电子工程师学会计算机期刊 第C-35卷，第8期，1986年8月，第677-690页

[2] 卡尔·S·布拉斯、理查德·L·鲁德尔、兰德尔·E·布莱恩特 “高效实施BDD包” 第27届ACM/IEEE设计自动化会议，1990年 第40-45页

[3] 理查德·鲁德尔 动态变量排序 有序二元决策图” IEEE/ACM国际会议 计算机辅助设计，1993年 第42-47页

[4] 克里斯特尔·拜尔和约斯特·彼特·卡托恩 “模型检查原理” 麻省理工学院出版社，2008年 第6.7节，第381-421页

[5] 法比奥·萨门齐 “二进制决策图” 计算系统设计，第173卷 北约科学系列F：计算机和系统科学 第303-366页，IOS出版社，1999年

[6] 安徒生 “二进制决策图简介” 1999年“高效算法和程序”课堂讲稿 哥本哈根IT大学