10.3969/j.issn.1674-098X.2007.27.118
一种建立二元判断图ROBD(D的算法)
二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用.本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度.
二元判断图、BDD、哈希表
TP3(计算技术、计算机技术)
2008-04-03(万方平台首次上网日期,不代表论文的发表时间)
共2页
141-142