顾明 钟艳如 薛宏熙 吕宗伟 黄美发 马建刚 苏开乐 洪先龙 龙望宁 林争辉 梁永强 黄涛 徐罡 边计年 古天龙 张镭 贝劲松 骆翔宇

模型检测 和与积难题 匹配算法 形式验证 PubSub系统 测试生成 最小项 时态认知逻辑 组合电路 变量序 标签 公告逻辑 装配操作 几何可行性 布尔匹配 组合逻辑电路 布尔函数 企业应用集成 SBDD 故障检测