长沙理工大学计算机与通信工程学研究生导师基本信息表

1、个人基本信息：

姓 名：徐超
性 别：男


出生年月：1986.11
技术职称：讲师

毕业院校：中南大学
学历（学位）：博士

所在学科：
计算机科学与技术
研究方向：
计算机优化算法

2、教育背景：

2005
湘潭大学
学士

2011
中南大学
硕士

2014
中南大学
博士

3、目前研究领域：

计算机优化算法

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

1.国家自然科学基金青年项目，**，基于消除替换的可满足性相关问题参数算法研究，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、所获学术荣誉及学术影响：