7月31日，中国科学院软件研究所蔡少伟研究员来校为我院师生做了题为“SAT求解”的学术报告，学院科研骨干教师及研究生代表参加，赵相福教授主持。

蔡少伟在报告中回顾了SAT算法的研究历史，介绍了在SAT并行算法方向的一系列探索，包括并行预处理技术和基于随机重排的变量选择顺序的初始化策略等。他指出，这些探索不仅在理论上提升了算法的效率，而且在实际应用中展现了显著的优势。

学术报告后，蔡少伟耐心解答了师生们提出的问题，师生们表示通过此次报告会拓展了研究思维，受益匪浅。

专家简介：

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

作者：王莹洁 责任编辑：马文明 审核：段昕