【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：陈骊
学 号：2023212534
指导老师：王恪铭，吴贯锋
专 业：软件工程
题 目：基于机器学习的SAT求解器变量分支启发式研究
开题时间：2024年10月25日，下午15:00
专家组成员：刘军（英国Ulster大学），陈树伟，王恪铭，吴贯锋
开题地点：X30423，腾讯会议：878-3645-1464
欢迎广大师生莅临指导！
相关文章
【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：刘铸纬学 号：2023201767指导老师：王恪铭专 业：计算机科学与技术题 目：基于LLM代理工作流的SMT代码生成优化开题时间：2024年11月22日，下午15:00专家组成员：刘军（英国U……
【硕士开题】王恪铭老师指导的硕士研究生开题公告
学生姓名：杨宇轩学 号：2023212405指导老师：王恪铭专 业：计算机技术题 目：基于原型网络的双动道岔故障诊断及安全场景形式化研究开 题 时 间：2024年11月1日，下午15:00专家组成员：刘军……
【转研究生院】关于开展研究生培养环节导师抽检工作的通知
……
