徐超
发布时间: 2023-03-10 16:10:25 浏览量:
欧博官网计算机与通信工程学研究生导师基本信息表 |
||||||
1、个人基本信息: |
||||||
姓 名:徐超 |
性 别:男 |
|
||||
出生年月:1986年11月 |
技术职称:讲师 |
|||||
毕业院校:中南大学 |
学历(学位):博士 |
|||||
所在学科:计算机科学与技术 |
研究方向:难解问题的(启发式、精确)算法设计和现实求解;基于学习的自动算法设计。 |
|||||
联系地址:xuchaofay@163.com |
||||||
2、教育背景: |
||||||
湘潭大学 |
学士 |
|||||
2011.9-2014.6 |
中南大学 |
工学硕士 |
||||
2014.9-2019.6 |
中南大学 |
工学博士 |
||||
2017.1-2018.4 |
Texas A&M University |
访问学者 |
||||
3、目前研究领域: |
||||||
对人工智能和算法设计有广泛的兴趣,包括:可满足性相关问题算法设计和现实求解,组合优化,启发式算法,基于学习的自动算法设计。 |
||||||
4、已完成或已在承担的主要课题: |
||||||
(1)国家自然科学基金委员会, 青年科学基金项目, 62002032, 基于消除替换原理的可满足性相关问题参 数算法研究, 2021-01-01 至 2023-12-31, 24万元, 在研, 主持 (2)国家自然科学基金委员会, 面上项目, 61872048, 基于深层局部搜索的核心化技术研究, 2019-01-01 至 2022-12-31, 63万元, 在研, 参与 (3)国家自然科学基金委员会, 面上项目, 61872450, 基于结构分解的图类难解问题核心化及参数算法研 究, 2019-01-01 至 2022-12-31, 63万元, 在研, 参与 (4)国家自然科学基金委员会, 面上项目, 61672536, 面向图类增量问题的参数算法及其应用研究, 2017-01-01 至 2020-12-31, 63万元, 结题, 参与 |
||||||
6、已发表的学术论文: |
||||||
已取得的研究工作成绩 近期发表的与项目有关的主要论文包括(其中本人以黑体加以强调,通讯作者以“*”标出): 会议: 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 |
||||||