基于generalized dominator的BDD布尔表达式优化分解

摘要：

BDD是布尔函数的一种图形表示方式,可以直观地反映出布尔函数的逻辑结构,利用BDD可以实现对布尔函数的分解和优化.针对BDD的数据结构和一种以generalized dominators为基础的布尔表达式的优化方法进行研究,并且着重对其中的一种方法:连接的BDD分解方法(Conjunctive BDD Decomposition)进行了详细的分析.

关键词：布尔函数、二元决策图、通用支配、连接分解

分类号：O174(数学分析)

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

页数：共2页

页码：172-173