任何人都可以在 Cudd 包装上指出一些好的材料。我在这里寻找一些简洁的东西。http://vlsi.colorado.edu/~fabio/CUDD/上的那个似乎没有很好地介绍这个问题。欢迎任何与 BDD 及其应用相关的视频讲座。
谢谢并恭祝安康
问问题
726 次
2 回答
3
有关涵盖基础知识和许多不同应用的视频讲座，请参阅 Knuth 的计算机沉思：
于 2011-11-29T14:51:41.020 回答
2
[1] 在二元决策图中介绍了排序，[2] 很好地总结了实践中使用的实现技术，[3] 是 CUDD 中的默认重新排序算法，[4] 是不假设任何特定背景的介绍，[5 ] 非常详细和数学（由 Somenzi -- CUDD 的作者），[6] 是另一个非常优秀、自包含和应用的主题介绍。
[1] Randal E. Bryant“布尔函数操作的基于图形的算法”IEEE Transactions on Computers Vol。C-35，第 8 期，1986 年 8 月，第 677--690 页
[2] Karl S. Brace、Richard L. Rudell、Randal E. Bryant “Efficient implementation of a BDD package”第 27 届 ACM/IEEE 设计自动化会议，1990 pp.40--45
[3] Richard Rudell“有序二元决策图的动态变量排序”IEEE/ACM 国际计算机辅助设计会议，1993 pp.42--47
[4] Christel Baier 和 Joost-Pieter Katoen “模型检查原理”麻省理工学院出版社，2008 年第 6.7 节，第 381--421 页
[5] Fabio Somenzi《二元决策图》计算系统设计，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
于 2015-03-02T21:04:01.637 回答