1、個人基本信息：

姓    名：徐超

性    別：男

出生年月：1986年11月

技術職稱：講師

畢業(yè)院校：中南大學

學歷（學位）：博士

所在學科：計算機科學與技術

研究方向：難解問題的（啟發(fā)式、精確）算法設計和現(xiàn)實求解；基于學習的自動算法設計。

聯(lián)系地址：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、目前研究領域：

對人工智能和算法設計有廣泛的興趣,包括：可滿足性相關問題算法設計和現(xiàn)實求解，組合優(yōu)化，啟發(fā)式算法，基于學習的自動算法設計。

4、已完成或已在承擔的主要課題：

（1）國家自然科學基金委員會, 青年科學基金項目, 62002032, 基于消除替換原理的可滿足性相關問題參

數(shù)算法研究, 2021-01-01 至 2023-12-31, 24萬元, 在研, 主持

（2）國家自然科學基金委員會, 面上項目, 61872048, 基于深層局部搜索的核心化技術研究, 2019-01-01

至 2022-12-31, 63萬元, 在研, 參與

（3）國家自然科學基金委員會, 面上項目, 61872450, 基于結構分解的圖類難解問題核心化及參數(shù)算法研

究, 2019-01-01 至 2022-12-31, 63萬元, 在研, 參與

（4）國家自然科學基金委員會, 面上項目, 61672536, 面向圖類增量問題的參數(shù)算法及其應用研究, 2017-01-01 至 2020-12-31, 63萬元, 結題, 參與

6、已發(fā)表的學術論文：

已取得的研究工作成績

近期發(fā)表的與項目有關的主要論文包括（其中本人以黑體加以強調，通訊作者以“*”標出）：

會議：

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