讲座主题：SAT算法与并行求解方法进展

专家姓名：蔡少伟

工作单位：中国科学院软件研究所

讲座时间：2023年7月31日 10:00-11:00

讲座地点：计算机与控制工程学院6205

主办单位：烟台大学计算机与控制工程学院

内容摘要：

本报告回顾SAT算法研究历史，并介绍我们在并行算法方向的一些探索，包括并行预处理技术，以及基于随机重排的变量选择顺序的初始化策略。大量实验证明了这两种方法的有效性。我们研发的并行求解器以相当大的优势赢得了2022年和2023年SAT国际竞赛并行主赛道的的冠军。

主讲人介绍：

蔡少伟，中国科学院软件所研究员，博士生导师，获得国家自然科学基金优秀青年基金资助。研究约束求解、EDA形式验证。设计了高效的SAT混合求解方法，首次解决了AAAI 1997命题逻辑推理与搜索十大挑战的第七个挑战问题，获得SAT 2021最佳论文奖。设计了首个支持整数算术理论的SMT随机搜索算法。带领团队研发的求解器在SAT比赛和SMT比赛获得20多个冠军。受邀在组合搜索领域和EDA领域的著名会议SOCS和FMCAD上做特邀报告。