学术预告 首页  >  学术科研  >  学术预告  >  正文

三元名家论坛:SAT算法与并行求解方法进展
作者:     供图:     供图:     日期:2023-07-30     来源:    

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

专家姓名:蔡少伟

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

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

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

主办单位:bob体育在线app计算机与控制工程学院

内容摘要:

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

主讲人介绍:

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

Baidu
map