周俊萍
东北师范大学
职 称：副教授
研究方向：人工智能、算法设计、约束满足、组合优化
办公电话：
办公地点：信息科学与技术学院223
研究方向：人工智能、算法设计、约束满足、组合优化
办公电话：
办公地点：信息科学与技术学院223
个人简历
东北师范大学信息科学与技术学院副教授，博士生导师，吉林省春苗人才。主要从事人工智能、算法设计、逻辑推理等方向研究，特别关注大规模组合优化问题求解等。主持并参与多项国家自然基金，在《Science China Information Sciences》《European Journal of Operational Research》、AAAI、IJCAI、SAT等上发表学术论文，其中以第一作者或通讯作者发表计算机学会推荐A类论文10余篇，并多次受邀担任IJCAI、AAAI等会议程序委员会委员。 教育经历： (1) 2008-09 至 2011-07, 吉林大学, 计算机应用技术, 博士 (2) 2005-09 至 2008-07, 东北师范大学, 计算机应用技术, 硕士 (3) 2001-09 至 2005-07, 东北师范大学, 计算机科学与技术, 学士 博士后工作经历： (1) 2012-06 至 2016-06, 东北师范大学 科研与学术工作经历（博士后工作经历除外）： (1) 2017-06 至 今, 东北师范大学, 信息科学与技术, 副教授 (2) 2011-07 至 2017-05, 东北师范大学, 计算机科学与信息技术学院, 讲师 科研项目： (1) 国家自然科学基金委员会, 面上项目, 61976050, 模型计数问题近似求解方法研究, 2020-01-01 至 2 023-12-31, 58万元, 在研, 参与 (2) 国家自然科学基金委员会, 面上项目, 61872076, Holant问题的计算复杂性分类研究, 2019-01-01 至 2022-12-31, 63万元, 在研, 参与 (3) 教育部, 中央高校基本科研业务费项目（青年教师科研发展基金）, 2412019FZ050, #SMT近似求解方 法研究, 2019-01 至 2021-12, 30万元, 结题, 主持 (4) 吉林省科技厅，面上项目，基于局部搜索的多样性top-k团问题的求解，2023-01-01至2025-12-31，10万元，在研，主持 (5) 吉林省科技厅，青年人才项目，#SAT问题相变现象研究，2016年，主持 (6) 国家自然科学基金项目，青年，模型计数问题精确求解方法的研究，2014年，主持 (7) 吉林省教育厅，春苗人才项目，偶然性规划问题的相变规律和问题结构研究，2013年，主持 (8) 教育部，新教师项目，最坏情况下自动推理问题的最小上界研究，2013年，主持 (9) 国家自然科学基金项目，数学天元基金，智能规划问题相变规律研究，2012年，主持
社会兼职
获奖情况 （数据来源：科学技术处、社会科学处）
- 2022-11-28 吉林省科学技术进步奖三等奖
- 2013-12-16 吉林省科学技术奖自然科学奖二等奖
- 2013-09-01 吉林省自然科学学术成果奖二等奖
- 2014-09-01 吉林省自然科学学术成果奖三等奖
教学信息 （数据来源：教务处）
- 生科2班（生物技术、生物、生物师范）
- 信息科学前沿
- 信息科学研究方法课
- 学科前沿
- 信息科学研究方法课（计算机）
- 环境1班
- 美术1班
- 美术3班
- 化学2班-C语言
- 大数据分析技术
- 地理2班（程序设计C语言）
- 美术2班
- 文学2班
- 离散数学
- 大数据技术及应用4
- 生科1班
- 高等数学II（2班）
- 地理1班（程序设计基础C语言）
- 离散数学（中美）
- 地理2班-C语言
- 音乐2班
- 人工智能导论
- 地理1班-C语言
- 物理1班-C语言
- 化学2班
- 信息技术2（算法与程序设计基础—提高班）物理类2班
- 信息技术2（算法与程序设计基础—提高班）物理类1班
- 离散数学II
- 文院2班
科研信息 （数据来源：科学技术处、社会科学处）
- 项目：
- 1. 基于局部搜索的多样性top-k团问题的求解，省、市、自治区科技项目，2023年
- 2. #SAT问题相变现象研究，省、市、自治区科技项目，2016年
- 3. 模型计数问题精确求解方法的研究，国家自然科学基金项目，2014年
- 4. 偶然性规划问题的相变规律和问题结构研究，企事业单位委托科技项目，2013年
- 5. 最坏情况下自动推理问题的最小上界研究，主管部门科技项目，2013年
- 6. 智能规划问题相变规律研究，国家自然科学基金项目，2012年
- 专著：
- 1. 自动推理与智能规划——算法设计与复杂性分析，吉林人民出版社，01-1年
- 论文：
- 1. Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract)，The Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24)，2024年
- 2. LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem，26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023，2023年
- 3. AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis，Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22)，2022年
- 4. An Improved Configuration Checking-Based Algorithm for the Unicost Set Covering Problem，EUR J OPER RES，2021年
- 5. Solving diversified top-k weight clique search problem，SCIENCE CHINA-INFORMATION SCIENCES，2021年
- 6. Local search for diversified Top-k clique search problem，COMPUT OPER RES，2020年
- 7. An Exact Algorithm for Minimum Vertex Cover Problem，MATHEMATICS，2019年
- 8. A hybrid framework combining genetic algorithm with iterated local search for the dominating tree problem，MATHEMATICS，2019年
- 9. An efficient heuristic algorithm for solving connected vertex cover problem，MATH PROBL ENG，2018年
- 10. 求解 MinSAT 问题的加强式格局检测与子句加权算法，计算机学报，2018年
- 11. Phase Transition for Maximum Not-All-Equal Satisfiability，Lecture Notes in Computer Science，2017年
- 12. 求解#SMT问题的局部搜索算法，软件学报，2016年
- 13. New Worst-Case Upper Bound for Counting Exact Satisfiability，INT J FOUND COMPUT S，2014年
- 14. 最坏情况下X2SAT问题的上界，计算机研究与发展，2014年
- 15. Message Passing Algorithm for Solving QBF Using More Reasoning，MATH PROBL ENG，2013年
- 16. Phase Transitions of Contingent Planning Problem，MATH PROBL ENG，2013年
- 17. The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter，Lecture Notes in Computer Science，2012年
- 18. PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS:A FURTHER STEP，INT J FOUND COMPUT S，2012年
- 19. 求解QBF问题的启发式调查传播算法，软件学报，2011年
- 20. 最坏情况下＃3－SAT问题最小上界，计算机研究与发展，2011年
- 21. 部分可观察强规划中约减观察变量的研究，软件学报，2009年
- 22. A Hostile Plan Recognition based on Plan Semantic Tree-Graph，2007 IEEE International Conference on Control and Automation，2007年
- 专利：
- 一种结合覆盖启发式的数量感知练习推荐方法 2022-04-01
其它信息
暂停信息维护