新闻动态

蔡少伟团队获得SAT 2020国际比赛冠军

第23届可满足性测试理论与应用国际会议(SAT 2020)于2020年7月3日举行(https://sat2020.idea-researchlab.org),在该会组织的SAT Competition 2020比赛中,软件所计算机科学国家重点实验室蔡少伟研究员带领的团队获得主赛道冠军。

布尔可满性问题(SAT)是计算机科学的经典问题,也是第一个NP完全问题,不仅具有重要的理论研究价值,而且在工业领域尤其是软硬件验证有重要应用,例如Intel芯片和Windows操作系统验证中都用到了SAT求解器。为了促进SAT问题求解算法及工具的研发和应用,国际SAT学会自2002年以来每年(或每两年)组织SAT Competition国际比赛。

蔡少伟带领的研究团队在SAT Competition多次获奖,包括SAT Competition 2014、2016亚军和2018冠军。他们的研究工作发表在国际人工智能学报Artificial Intelligence和国际人工智能会议IJCAI/AAAI,提出的启发式搜索技术和研制的SAT求解器被分别应用于微软Azure云平台的虚拟机预配置和异常检测、腾讯地图优化、以及美联邦通信委员会的频谱分配等项目。