中科院软件所副研究员蔡少伟来我室作学术报告

2017年7月1日上午9点30，中科院软件所蔡少伟副研究员来我室作学术报告。做了题为“用于SAT问题的搜索算法”的学术报告。

SAT问题是逻辑学的一个基本问题，也是当今计算机科学和人工智能研究的核心问题，许多重要的问题都可转化成SAT问题。作为第一个被证明的NP-Complete问题，长期以来SAT问题的求解算法得到了人们深入的研究和不断的改进。

蔡少伟副研究员主要介绍了命题逻辑可满足性问题（SAT），重点介绍了两类求解算法，包括基于回溯搜索的SAT算法和基于局部搜索的SAT算法，同时介绍了该方向的最新进展。通过蔡少伟副研究员的讲解，我们对SAT问题的有了更深入的了解，能更好的指导以后的密码算法自动化分析工作。