高清一区二区三区日本久,国产精品亚洲一区二区三区,黑人异族巨大巨大巨粗,久久久精品中文字幕麻豆发布

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

姓 名：徐超

性 別：男

出生年月：1986.11

技術(shù)職稱(chēng)：講師

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

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

所在學(xué)科：

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

研究方向：

計(jì)算機(jī)優(yōu)化算法

2、教育背景：

2005

湘潭大學(xué)

學(xué)士

2011

中南大學(xué)

碩士

2014

中南大學(xué)

博士

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

計(jì)算機(jī)優(yōu)化算法

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

1. 國(guó)家自然科學(xué)基金青年項(xiàng)目，62002032，基于消除替換的可滿(mǎn)足性相關(guān)問(wèn)題參數(shù)算法研究，2021/01-2023/12,主持

5、已出版的主要著作：

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

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