【博士开题】徐扬教授指导的2017级博士研究生开题公告

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

姓      名：   李志辉

学      号： 2017300161

专      业： 计算机科学与技术

 

开题时间：   2024年 6月 28日  15:00-16：30
地       点：   X30423

专家组成员：
李天瑞，   教授/博导，  西南交通大学计算机与人工智能学院

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

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