信息科学技术学院计算机科学系学术讲座（七）
?
题 目：计算难解问题的算法新进展：二元决策图与可满足性问题
报告人：澳大利亚格里菲斯大学(Griffith University) 苏开乐 教授
报告人简介：苏开乐教授, 2007 年国家自然科学基金杰出青年基金获得者,2009 年澳大利亚ARC Future Fellowship获得者。长期从事逻辑与难解问题的算法实现研究，在主流国际计算机期刊《Artificial Intelligence》、《Journal of Artificial Intelligence Research》、《Infomation and Computation》和会议AAAI、IJCAI、CAV等发表论文50多篇，研究成果曾获 AiML 2002 (法国图卢兹)最佳论文奖，SAT Challenge 2012 随机组的冠军。
时 间：2014年12月31日（周三）上午10：20始
地 点：教学大楼A215室
热烈欢迎广大师生参加!