秦永彬 许道云 高济 邓家禔 唐忠民 薛丽霞 张毅 郑晖 张庆顺 石威 刘振英 邓天炎

推理 二义性 RO模型 软件组件 NP-完全性 可证明安全性 功能化设计 编译器 几何约束满足 逻辑程序设计 编译设计 知识程序设计环境 PTAS等价 冲突 函数程序设计 软件工具 不可满足性 问题求解 C反编译 数字签名方案 极小不可满足公式 线性CNF公式 归约松紧度 标准模型 语法分析 MAX-k-SAT问题