本报讯 9月15日，第20届国际SAT算法竞赛结果出炉，计算机学院特聘教授李初民的团队获得Main组冠军。团队成员包括吕志鹏教授、博士生肖凡和罗茂等。这是我校继黄文奇教授等1996年获得第三届国际SAT算法竞赛冠军后再次夺得该赛事冠军。
据悉，国际SAT算法竞赛从1992年开始，每一到两年举办一次，至今已经举办20届。本次共有来自14个国家的28支队伍参加比赛。参赛单位包括纽约大学、威斯康辛大学、加拿大滑铁卢大学、德国林兹大学、比利时鲁汶大学、悉尼科技大学等国外高校，以及清华大学、北京大学、中科院等国内高校和研究所。
本次竞赛共有Main、Parallel、Incremental、Agile、Random、No-limits等6个组别，其中Main组是针对目前各类工业界难解问题的求解，是SAT竞赛中受关注度最高和竞争最激烈的组别。
（计算机学院）