新闻网讯　SAT竞赛（2017）组委会于9月15日在其官方网站上发布了第二十届国际SAT算法竞赛的结果，来自计算机学院李初民教授的团队以较大优势（提交的4个求解器包揽了前四名）获得了Main组的冠军。 

　　SAT问题，即可满足性（SATisfiability）问题，是历史上第一个被证明为NP-完全的问题，也是人工智能领域的核心问题，并在许多工业应用领域中具有非常重要的意义和广泛的应用。长期以来，各国学者对其进行了广泛而深入的研究，而SAT算法竞赛也成为了该领域中的标志性学术事件。

　　国际SAT算法竞赛从1992年开始，每一到两年举办一次，至今已经举办了二十届。本次挑战赛受到国际学术界和工业界的顶级研究人员的热烈关注。共有来自14个国家的28支队伍参加比赛。参赛单位包括纽约大学，威斯康辛大学，加拿大滑铁卢大学，德国林兹大学，比利时鲁汶大学，悉尼科技大学等。国内也有清华大学，北京大学，中科院等高校和研究所参加本次竞赛。本次竞赛共有Main、Parallel、Incremental、Agile、Random、No-limits等6个组别，其中Main组是针对于目前各类工业界难解问题的求解，是SAT竞赛中受关注度最高和竞争最激烈的组别。

　　计算机学院理论所在SAT问题等组合优化问题的高效求解算法方向有着深厚的积累和深入的研究，在国际学术界具有一定的声誉和影响力。这是我校继黄文奇教授等于1996年获得第三届国际SAT算法竞赛冠军后取得的又一项好成绩。团队成员包括李初民特聘教授，吕志鹏教授，博士生肖凡和罗茂等。 

　　另外，在不久前人工智能领域综合性旗舰会议第二十六届人工智能国际联合会上，由李初民教授和吕志鹏教授共同指导的博士生罗茂报告了SAT问题的最新研究成果：An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers, (IJCAI2017, 703-711)。计算机学院为第一单位，博士生罗茂为第一作者。