金城彩票网站

新闻动态
The Arts of Satisfiability: Algorithms and Complexity
时间:2019-07-22    浏览量:

金城彩票网站学术报告

 

报告题目:The Arts of Satisfiability: Algorithms and Complexity

人:陈建二,广州大学计算机科学与网络工程学院教授

报告时间:2019724 下午15:00

报告地点:重庆大学A区主教学大楼1811

报告摘要: The Satisfiability problem (SAT) and its optimization version Max-SAT have been central to the research in computer science with wide applications in many areas such as software testing, AI, bioinformatics, and computational optimization. In this talk, we will focus on the theoretical advances and recent progresses in the study of algorithms and complexity of SAT and MaxSAT problems. We study the complexity of the problems and survey techniques that have been proven effective in development of algorithms for the problems. In particular, we will present in detail some new techniques based on resolution and domination that lead to faster algorithms for the problems.  

主讲人介绍:陈建二,男, 中南大学计算机科学专业本科毕业,美国纽约大学计算机科学博士,美国哥伦比亚大学数学博士。国际期刊《Journal of Computer and System Sciences》和《IEEE Transactions on Computers》编委、以及《中国科学:信息科学》和《计算机学报》编委。现任广州大学计算机科学与网络工程学院教授。获中国国家自然科学基金委杰出青年基金(B类)、教育部长江学者特聘教授、教育部高等学校自然科学一等奖(排名第1)、教育部长江学者创新团队带头人。主持了多项国家自然科学基金委和教育部的重点项目和面上项目,并作为重要成员参加了国家基金委创新研究群体和科技部的重点项目。研究领域包括计算机算法设计分析和应用研究、计算复杂性理论、生物信息学和计算机图形学。