4月17日中科院蔡少伟教授应邀来到北京大学一教105作了题为《Improving local search for SAT via programming by optimization》的报告。报告介绍了SAT各种算法及其算法的演进和完善，为我中心师生勾勒了逻辑从基础研究到实际应用的一条画卷。报告结束后，师生还就SAT的各种应用，知识产权保护等延伸问题进行了交流。