职  称:副教授
研究方向:
办公电话:
办公地点:
电子邮件: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. An Improved Configuration Checking-Based Algorithm for the Unicost Set Covering Problem,EUR J OPER RES,2021年
  • 2. Solving diversified top-k weight clique search problem,SCIENCE CHINA-INFORMATION SCIENCES,2021年
  • 3. Local search for diversified Top-k clique search problem,COMPUT OPER RES,2020年
  • 4. An Exact Algorithm for Minimum Vertex Cover Problem,MATHEMATICS,2019年
  • 5. A hybrid framework combining genetic algorithm with iterated local search for the dominating tree problem,MATHEMATICS,2019年
  • 6. An efficient heuristic algorithm for solving connected vertex cover problem,MATH PROBL ENG,2018年
  • 7. 求解 MinSAT 问题的加强式格局检测与子句加权算法,计算机学报,2018年
  • 8. Phase Transition for Maximum Not-All-Equal Satisfiability,Lecture Notes in Computer Science,2017年
  • 9. 求解#SMT问题的局部搜索算法,软件学报,2016年
  • 10. New Worst-Case Upper Bound for Counting Exact Satisfiability,INT J FOUND COMPUT S,2014年
  • 11. 最坏情况下X2SAT问题的上界,计算机研究与发展,2014年
  • 12. Message Passing Algorithm for Solving QBF Using More Reasoning,MATH PROBL ENG,2013年
  • 13. Phase Transitions of Contingent Planning Problem,MATH PROBL ENG,2013年
  • 14. The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter,Lecture Notes in Computer Science,2012年
  • 15. PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS:A FURTHER STEP,INT J FOUND COMPUT S,2012年
  • 16. 求解QBF问题的启发式调查传播算法,软件学报,2011年
  • 17. 最坏情况下#3-SAT问题最小上界,计算机研究与发展,2011年
  • 18. 部分可观察强规划中约减观察变量的研究,软件学报,2009年
  • 19. A Hostile Plan Recognition based on Plan Semantic Tree-Graph,2007 IEEE International Conference on Control and Automation,2007年
信息维护