1、個(gè)人基本信息：

姓    名：徐超

性    別：男

出生年月：1986年11月

技術(shù)職稱：講師

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

學(xué)歷（學(xué)位）：博士

所在學(xué)科：計(jì)算機(jī)科學(xué)與技術(shù)

研究方向：難解問題的（啟發(fā)式、精確）算法設(shè)計(jì)和現(xiàn)實(shí)求解；基于學(xué)習(xí)的自動(dòng)算法設(shè)計(jì)。

聯(lián)系地址：xuchaofay@163.com

2、教育背景：

2005.9-2009.6

湘潭大學(xué)

學(xué)士

2011.9-2014.6

中南大學(xué)

工學(xué)碩士

2014.9-2019.6

中南大學(xué)

工學(xué)博士

2017.1-2018.4

Texas A&M University

訪問學(xué)者

3、目前研究領(lǐng)域：

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

4、已完成或已在承擔(dān)的主要課題：

（1）國(guó)家自然科學(xué)基金委員會(huì), 青年科學(xué)基金項(xiàng)目, 62002032, 基于消除替換原理的可滿足性相關(guān)問題參

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

（2）國(guó)家自然科學(xué)基金委員會(huì), 面上項(xiàng)目, 61872048, 基于深層局部搜索的核心化技術(shù)研究, 2019-01-01

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

（3）國(guó)家自然科學(xué)基金委員會(huì), 面上項(xiàng)目, 61872450, 基于結(jié)構(gòu)分解的圖類難解問題核心化及參數(shù)算法研

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

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

6、已發(fā)表的學(xué)術(shù)論文：

已取得的研究工作成績(jī)

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

會(huì)議：

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類會(huì)議）

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、所獲學(xué)術(shù)榮譽(yù)及學(xué)術(shù)影響：

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