徐超
发布时间: 2020-12-02 17:39:54 浏览量:
新利luck在线·(中国)有限公司官网计算机与通信工程学研究生导师基本信息表 |
|||||
1、个人基本信息: |
|||||
姓 名:徐超 |
性 别:男 |
|
|||
出生年月:1986.11 |
技术职称:讲师 |
||||
毕业院校:中南大学 |
学历(学位):博士 |
||||
所在学科: 计算机科学与技术 |
研究方向: 计算机优化算法 |
||||
2、教育背景: |
|||||
2005 |
湘潭大学 |
学士 |
|||
2011 |
中南大学 |
硕士 |
|||
2014 |
中南大学 |
博士 |
|||
3、目前研究领域: |
|||||
计算机优化算法 |
|||||
4、已完成或已在承担的主要课题: |
|||||
1. 国家自然科学基金青年项目,62002032,基于消除替换的可满足性相关问题参数算法研究,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、所获学术荣誉及学术影响: |
|||||