杨晋吉 虞蕾 欧阳丹彤 柯宪明 常亮 张健 史忠植 张立明 唐璞山 苏开乐 毕忠勤 周电 陈清亮 荆明娥 单美静 林瀚 朱兴军 贺毅朝 曹国生 丁敏 岳伟亚 吕帅 孙吉贵 林芬 魏天星 孙宁 骆翔宇 邱莉榕 罗二海 ZHENGXi-Zhong

局部搜索 递推公式 局部搜索算法 可判定性 冲突 Tableau算法 计算复杂度 DPLL 完全算法 命题逻辑 自动求解 一阶逻辑 多项式扩展 模态算子 测试模式自动生成 合取范式 归结 决策 DeMorgen律 模拟蕴含学习 遗传算法 多项式 模型检测 定理证明 PSL 动态描述逻辑 等价验证 动作理论 半扩展规则 布尔逻辑