学术报告：The Arts of Satisfiability: Algorithms and Complexity

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

主讲：陈建二， 广州大学， 教授

日期：2019年 5月 17 日（星期五）

时间：10：30 – 11：30

地点：中山大学广州校区东校园数据科学与计算机学院 A101

主持：李绿周 教授

摘要：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》编委、以及《中国科学：信息科学》和《计算机学报》编委。现任广州大学计算机科学与教育软件学院教授。获中国国家自然科学基金委杰出青年基金、教育部长江学者特聘教授、教育部高等学校自然科学一等奖（排名第1）、教育部长江学者创新团队带头人。主持了多项国家自然科学基金委和教育部的重点项目和面上项目，并作为重要成员参加了国家基金委创新研究群体和科技部的重点项目。