​学术讲座

软件学院尚新讲坛2022年第一期

题  目：电子设计自动化（EDA）任务涉及约束求解

主讲人：蔡少伟    教授

时  间：2022年5月6日下午2：30

​

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

讲学内容简介：电子设计自动化（EDA）中许多任务涉及约束求解问题。比如，EDA的逻辑综合和形式化验证都依赖于命题逻辑可满足性问题（SAT）的求解器。此外，EDA中还有许多组合优化问题。本报告将介绍EDA涉及的约束求解和组合优化问题及其常见方法。

软件与物联网工程学院  科研处