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

• 作者: 李文豪 杨旭超
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 数学
• 关键词: 布尔函数 二元决策图 通用支配 连接分解
• 年，卷（期）: 2006,（3）
• 页码范围: 172-173
• 页数: 2页
• 分类号: O174

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李文豪	华东师范大学软件学院	4	8	1.0	2.0
2	杨旭超	华东师范大学软件学院	2	1	1.0	1.0