徐扬老师指导的博士研究生学位论文开题及中期检查公告

来源:信息科学与技术学院  作者:刘明慧  日期:2019-03-25  点击数:344

开题时间:2019年3月25日下午3点

开题地点:西南交通大学九里校区信息楼1020#

专家组名单:

徐扬 数学学院 教授/博导
李天瑞 信息科学与技术 教授/博导
宋振民 数学学院  教授

陈树伟 数学学院 副教授


博士学位论文开题

姓名:付慧敏            学号:2017310183         专业:计算机科学与技术

指导老师:徐扬教授/博导

报告题目:基于满足度的智能算法求解k-SAT问题


博士学位论文中期检查

姓名:宁欣然        学号:2015310085     专业:计算机科学与技术
指导老师:徐扬 教授/博导

报告题目:命题逻辑和一阶逻辑子句集的冗余性质理论研究以及应用

欢迎广大师生莅临指导!