Speaker:

蔡少伟(中科院软件所研究员)

Time:

2021年12月2日 15:00-16:30
– 09:15 – 16:40 (Time in Beijing)
– December 2, 2021 (Thursday)

Venue:

报告形式：线上会议

报告平台：腾讯会议（会议ID：169 500 126）

Abstract:

命题逻辑可满足性问题（简称SAT）是第一个被证明为NP完全的问题，也是计算机科学的一个核心问题。SAT求解器在包括EDA，密码学，资源分配等多个实际场景中有重要应用。求解SAT的主要方法包括基于冲突学习的完备算法和基于局部搜索的不完备算法。SAT领域一个挑战就是如何结合两者优势设计高效混合算法。本报告将回顾作者在此方向的一些探索和结果。