长沙理工大学第十七届博力学术论坛计通学院分论坛预告:徐超:结合字符支配规则和消解原理最大可满足性问题的(理论)算法研究
发布时间: 2021-11-17 15:04:51 浏览量:
报告承办单位:计算机与通信工程学院
报告人姓名:徐超
报告人所在单位:长沙理工大学计算机与通信工程学院
报告人职称/职务及学术头衔:讲师
报告时间:2021年11月20日下午15:00
报告地点:云塘校区理科楼B-311
报告人简介:
徐超,男,生于1986年11月,博士,长沙理工大学计算机与通信工程学院讲师,研究生导师。主要研究方向为计算机优化算法,先后已完成或已在承担的主要课题1项,主持国家自然科学基金青年项目《基于消除替换的可满足性相关问题参数算法研究》。在TCS、JCO、IJCAI等学术期刊和会议发表学术论文5余篇,培养硕士研究生数名。