林志坚 乔松霞 郑金华 王哲 张遵濂 朱正国 赵光甫 刘涛 李未 任克强 郑海君 王文发 马燕 宋柔 李国杰 王鑫 李振坤 栾英姿 柳荣其 徐子珊 李宏达 林逢升 许可 张国萍 张宪乐 姚雄武 黄京炜 张翔青 潘文俊 田奕

流程图 规则库 矩阵存储 自然语言处理系统 LDPC码 SAT问题 快速搜索算法 变量 句法分析 顺序控制 多约束分配 PROLOG 随机算法 全局最优 链表 时间复杂度 多重集排列 约束优化 树结构 约束满足 概率算法 平均时间复杂性 地理信息系统 置换群 局部搜索 8皇后问题 再试 排课 图的同构 个体进化