周俊萍
东北师范大学
-->
职　　称：副教授
研究方向：
办公电话：
办公地点：
电子邮件：zhoujp877@nenu.edu.cn



个人简历


社会兼职




获奖情况 （数据来源：科学技术处、社会科学处）


2013-12-16 吉林省科学技术奖自然科学奖二等奖
2013-09-01 吉林省自然科学学术成果奖二等奖
2014-09-01 吉林省自然科学学术成果奖三等奖


教学信息 （数据来源：教务处）


生科2班（生物技术、生物、生物师范）


科研信息 （数据来源：科学技术处、社会科学处）


项目：
1. #SAT问题相变现象研究，2016年
2. 模型计数问题精确求解方法的研究，2014年
3. 偶然性规划问题的相变规律和问题结构研究，吉林省教育厅，2013年
4. 最坏情况下自动推理问题的最小上界研究，教育部，2013年
5. 智能规划问题相变规律研究，国家自然科学基金委员会，2012年
专著：
1. 自动推理与智能规划——算法设计与复杂性分析，吉林人民出版社，01-1年
论文：
1. 求解 MinSAT 问题的加强式格局检测与子句加权算法，计算机学报，2018年
2. Phase Transition for Maximum Not-All-Equal Satisfiability，Lecture Notes in Computer Science，2017年
3. 求解#SMT问题的局部搜索算法，软件学报，2016年
4. New Worst-Case Upper Bound for Counting Exact Satisfiability，INT J FOUND COMPUT S，2014年
5. 最坏情况下X2SAT问题的上界，计算机研究与发展，2014年
6. Message Passing Algorithm for Solving QBF Using More Reasoning，MATH PROBL ENG，2013年
7. Phase Transitions of Contingent Planning Problem，MATH PROBL ENG，2013年
8. The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter，Lecture Notes in Computer Science，2012年
9. PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS:A FURTHER STEP，INT J FOUND COMPUT S，2012年
10. 求解QBF问题的启发式调查传播算法，软件学报，2011年
11. 最坏情况下＃3－SAT问题最小上界，计算机研究与发展，2011年
12. 部分可观察强规划中约减观察变量的研究，软件学报，2009年
13. A Hostile Plan Recognition based on Plan Semantic Tree-Graph，2007 IEEE International Conference on Control and Automation，2007年