计算机与通信工程学院 School of Computer and Communication Engineering
讲师
当前位置: 首页 > 研究生教育 > 导师队伍 > 讲师 > 正文

徐超

发布时间: 2023-03-10 16:10:25 浏览量:

bat365在线唯一官网登录计算机与通信工程学研究生导师基本信息表

1、个人基本信息:

    名:徐超

    别:

       

出生年月:198611

技术职称:讲师

毕业院校中南大学

学历(学位):博士

所在学科:计算机科学与技术

研究方向:问题的启发式、精确算法设计和现实求解基于学习自动算法设计

联系地址:xuchaofay@163.com


2、教育背景:

2005.9-2009.6

湘潭大学

学士

2011.9-2014.6

中南大学

工学硕士

2014.9-2019.6

中南大学

工学博士

2017.1-2018.4

Texas A&M University

访问学者

3、目前研究领域:

人工智能算法设计有广泛的兴趣,包括可满足性相关问题算法设计和现实求解组合优化启发式算法基于学习的自动算法设

4、已完成或已在承担的主要课题:

(1)国家自然科学基金委员会, 青年科学基金项目, 62002032, 基于消除替换原理的可满足性相关问题参

数算法研究, 2021-01-01 至 2023-12-31, 24万元, 在研, 主持

(2)国家自然科学基金委员会, 面上项目, 61872048, 基于深层局部搜索的核心化技术研究, 2019-01-01

至 2022-12-31, 63万元, 在研, 参与

(3)国家自然科学基金委员会, 面上项目, 61872450, 基于结构分解的图类难解问题核心化及参数算法研

究, 2019-01-01 至 2022-12-31, 63万元, 在研, 参与

(4)国家自然科学基金委员会, 面上项目, 61672536, 面向图类增量问题的参数算法及其应用研究, 2017-01-01 至 2020-12-31, 63万元, 结题, 参与

5、已出版的主要著作:


6、已发表的学术论文:

已取得的研究工作成绩

近期发表的与项目有关的主要论文包括(其中本人以黑体加以强调,通讯作者以“*”标出):

会议:

1.Chao Xu, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang: Resolution and Domination: An Improved Exact MaxSAT Algorithm. IJCAI 2019: 1191-1197(CCF-A类会议)

2.Chao Xu, Jianer Chen, Jianxin Wang: Improved MaxSAT Algorithms for Instances of Degree 3. COCOA 2015: 20-30

3.Jianer Chen, Chao Xu, Jianxin Wang: Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm. WADS 2015: 178-188

4.Wenjun Li, Chao Xu, Jianxin Wang, Yongjie Yang: An Improved Branching Algorithm for (n,3)-MaxSAT Based on Refined Observations. COCOA (2) 2017: 94-108

期刊:

1.Wenjun Li, Chao Xu, Yongjie Yang, Jianer Chen, Jianxin Wang: A Refined Branching Algorithm for the Maximum Satisfiability Problem. Algorithmica 84(4): 982-1006 (2022)(CCF-B类期刊)

2.Chao Xu, Wenjun Li, Jianxin Wang, Yongjie Yang:An improved algorithm for the (n, 3)-MaxSAT problem: asking branchings to satisfy the clauses. J. Comb. Optim. 42(3): 524-542 (2021)

3.Chao Xu, Jianer Chen, Jianxin Wang: Resolution and linear CNF formulas: Improved (n, 3)-MaxSAT algorithms. Theor. Comput. Sci. 774: 113-123 (2019)(CCF-B类期刊)

4.Jianer Chen, Chao Xu, Jianxin Wang: Dealing with 4-variables by resolution: An improved MaxSAT algorithm. Theor. Comput. Sci. 670: 33-44 (2017)(CCF-B类期刊)

5.Yunlong Liu, Jianxin Wang, Chao Xu, Jiong Guo, Jianer Chen: An effective branching strategy based on structural relationship among multiple forbidden induced subgraphs. J. Comb. Optim. 29(1): 257-275 (2015)

6.Qilong Feng, Jianxin Wang, Chao Xu, Jinyi Yao, Jianer Chen: Improved parameterized algorithms for minimum link-length rectilinear spanning path problem. Theor. Comput. Sci. 560: 158-171 (2014)(CCF-B类期刊)


7、所获学术荣誉及学术影响:

https://dblp.uni-trier.de/pid/79/1442-10.html








上一篇:冯鹏

下一篇:廖年冬

Copyright © 2020 All Right Reserved bat365在线唯一官网登录 计算机与通信工程学院 版权所有

地址:bat365在线唯一官网登录云塘校区理科楼B-404物联网实验室 电话:0731-85258462