王改革 李丽 周俊萍 孙焱 殷明浩 杨永娟 勾维民 刘科成 刘书如 李丹丹 刘小飞 闫书亚 孙吉贵 赵晓威 胡艳梅 李向涛 朱磊 李淑霞 甘勇 袁利永 谭前进 任磊 蔡增玉 蔡敦波 刘日仙

权值 局部搜索算法 命题逻辑 无关元件 QBF问题 强规划 概率规划领域定义语言 相关元件 SAT问题 部分可观察强规划 粗糙集 编译目标语言 决策树 边界变异 知识库 Mealy有穷自动机 条件效果 汉字输入 朴素组件规划图 不确定规划 BIG5码 动态规划 双向有穷自动机 隐藏结构 延迟部分推理 万有引力搜索算法 粗糙动作 隐蔽集 计算机应用 最大排序规则

东北师范大学计算机学院 吉林长春 吉林大学计算机科学与技术学院 浙江金华 吉林省长春 中国科学院长春光学精密机械与物理研究所 吉林大学教育部符号计算与知识工程重点实验... 东北师范大学计算机系