李洵 王芳雷 王积杰 刘春和 顾晖 张义清 刘维富 管致锦 王波 陈宏陆 顾秋心 邱建林 吕彦明

逻辑综合 全域 冗余项 子立方体 立方扩展 逻辑最小化 列覆盖 质蕴涵项 生成元 分布密度 组合函数 本源蕴涵项 逻辑函数 余因子