1、个人基本信息：

姓 名：徐超

性 别：男

出生年月：1986.11

技术职称：讲师

毕业院校：中南大学

学历（学位）：博士

所在学科：

计算机科学与技术

研究方向：

计算机优化算法

2、教育背景：

2005

湘潭大学

学士

2011

中南大学

硕士

2014

中南大学

博士

3、目前研究领域：

计算机优化算法

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

1.国家自然科学基金青年项目，62002032，基于消除替换的可满足性相关问题参数算法研究，2021/01-2023/12,主持

5、已出版的主要著作：

6、已发表的学术论文：

1.Jianer Chen,Chao Xu, Jianxin Wang*, Dealing with 4-variables by Resolution: An Improved MaxSAT Algorithm, Theoretical Computer Science, 670, 33-44, 2017,.

2.Chao Xu, Jianer Chen, Jianxin Wang*, Resolution and Linear CNF Formulas: Improved (n, 3)- MaxSAT Algorithms, Theoretical Computer Science, 774, 113-123, 2019.

3.Chao Xu, Wenjun Li, Jianxin Wang, Yongjie Yang*, An Improved Algorithm for the (n,3)- MaxSAT Problem: Asking Branchings to Satisfy the Clauses, Journal of Combinatorial and Optimization, 2019.

4.Yunlong Liu, Jianxin Wang,Chao Xu, Jiong Guo, Jianer Chen*, An Effective Branching Strategy Based on Structural Relationship Among Multiple Forbidden Induced Subgraphs, Journal of Combinatorial and Optimization, 29(1), 257-275, 2015.

5.Chao Xu, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang*, Resolution and Domination:An Improved Exact MaxSAT Algorithm, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019.8, 1191-1197, Macao, 2019.

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