王改革 李丽 周俊萍 孙焱 殷明浩 杨永娟 勾维民 刘科成

权值 局部搜索算法 命题逻辑 无关元件 QBF问题 强规划 概率规划领域定义语言 相关元件

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