报告题目：SAT求解算法

报告人：蔡少伟

报告时间：2022年07月22日09：00

报告地点：320会议室

摘要：SAT问题是第一个被证明为NP完全的问题，是计算机科学的核心问题之一，有多个重要应用，包括集成电路设计，密码分析等。本报告介绍SAT问题的两类算法，CDCL方法和局部搜索方法，以及SAT求解方向的近期进展。

报告人简介：蔡少伟，中科院软件所研究员, 博导，获得国家优青项目，智源青年科学家，中科院优秀导师，任中科院青促会信息与管理分会会长。2012年从北京大学获计算机博士学位，获优秀博士论文奖。主要研究约束求解，组合优化，自动算法工程。曾获得人工智能顶级期刊AIJ “近五年最受欢迎”论文，SAT 会议最佳论文奖，多次获得国际SAT比赛、MaxSAT比赛和SMT比赛的冠军，获国际EDA比赛亚军，联合逻辑奥林匹克金牌。在理论计算机和人工智能等领域发表CCF A类论文50余篇。研究成果被应用于芯片验证，云计算，电子地图导航，频谱分配等多个实际场景。

邀请人：王美琴

审核人：魏普文