【硕士开题】王恪铭老师指导的硕士研究生开题公告

计算机与人工智能学院2024-10-22类型：graduate/notice来源：计算机与人工智能学院收录：2026-09-03 01:33:30

学生姓名：陈骊
学号：2023212534
指导老师：王恪铭，吴贯锋
专业：软件工程
题目：基于机器学习的SAT求解器变量分支启发式研究

开题时间：2024年10月25日，下午15:00
专家组成员：刘军（英国Ulster大学），陈树伟，王恪铭，吴贯锋
开题地点：X30423，腾讯会议：878-3645-1464

欢迎广大师生莅临指导！