一种建立二元判断图ROBD（D的算法）

作者：白金山; 黄贻望; 罗坤杰二元判断图bdd哈希表

摘要：二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社