岳金朋 周文帅 程明 熊锋 韦玉 李桂范

形式自动证明 智能优化算法 分词系统 排课 着法顺序 遗传算法 分词方法 内部迭代加深 动态项重写计算 Alpha-Beta剪枝 免疫算法 重写策略 扩大窗口 中国象棋 项重写系统 运行平台 免疫遗传算法 汉语分词

北京师范大学信息科学与技术学院 北京师范大学继续教育与教师培训学院 北京师范大学信息学院 北京师范大学信息科学学院 黑龙江大学数学科学学院 100875北京 黑龙江哈尔滨