4月17日蔡少伟教授讲座
附件:   

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


发布时间:2018-04-17 15:45:08
   
联系我们      关于本站      版权所有© 2009-2018  北京大学哲学系逻辑、语言与认知研究中心      地址:北京大学人文学苑二号楼