学术报告：用于SAT问题的搜索算法

报告人：蔡少伟

时 间： 2017年7月1日星期六上午9:30

地 点：信息工程研究所4212会议室

内容提要：本报告主要介绍命题逻辑可满足性问题（SAT），将重点介绍两类求解算法，包括基于回溯搜索的SAT算法和基于局部搜索的SAT算法，并介绍该方向的最新进展。

报告人简介：蔡少伟，中国科学院软件所计算机科学国家重点实验室副研究员，2012和2014年分别毕业于北京大学和格里菲斯大学，分别获得计算机博士学位和应用数学博士学位。他对人工智能和算法设计有广泛兴趣，主要研究方向包括逻辑问题的算法求解和组合优化，在命题逻辑可满足性问题（SAT）和MaxSAT问题的国际比赛中多次获奖。