【博士中期】徐扬老师指导2017级博士生李志辉论文中期答辩公告

论文题目：    基于蕴含图信息挖掘的SAT求解器研究

答 辩 人：     李志辉

专     业：     计算机科学与技术

指导教师：    徐扬  教授

 

报告时间：     2025年7月3日（星期三）10：30

报告地点：     X30423

 

专家组成员：

     李天瑞     教授/博导     西南交通大学计算机与人工智能学院

    杨    晗      教授/博导      西南交通大学数学学院

     徐   扬     教授/博导      西南交通大学数学学院

欢迎参听！