计算机工程与应用2005，Vol.41Issue(35)：26-28,62,4.
基于BDD的谓词分析与优化
Predicate Analysis and Optimization Based on BDD
摘要
关键词
谓词分析/谓词优化/编译优化/二进制决策图分类
信息技术与安全科学引用本文复制引用
王凤芹,刘春林,胡定磊..基于BDD的谓词分析与优化[J].计算机工程与应用,2005,41(35):26-28,62,4.基金项目
国家863高技术研究发展计划重要项目资助(编号:2004AA1Z1040) （编号:2004AA1Z1040）
