有序二叉判定图及其构造算法研究

摘要：

有序二叉判定图OBDD(ordered binary decision diagram)是一种数据结构,它把布尔函数表示为有向无回路图,是布尔函数的一种正则表示,可以用来检查布尔函数的一些性质如可满足性、等价性等等.本文将详细地介绍OBDD的数据结构及基于OBDD的布尔函数运算,并给出改进后的构造OBDD的算法.

关键词：二叉决策图、分支程序、符号操作、布尔函数、布尔代数、逻辑设计验证

所属期刊栏目：6

分类号：TP301(计算技术、计算机技术)

在线出版日期：2004-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：6-10