1、个人基本信息：

姓    名：徐超

性    别：男

出生年月：1986年11月

技术职称：讲师

毕业院校：中南大学

学历（学位）：博士

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

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

联系地址：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万元, 结题, 参与

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