教师姓名：江华
职称： 副教授
系所： 软件工程系
研究领域： 人工智能与运筹优化
电子邮件： huajiang@ynu.edu.cn
个人主页：
教育背景
1998-2002，解放军南京政治学院 图书情报 本科
2006-2008，华中科技大学 计算机软件与理论 硕士研究生
2011-2017，华中科技大学 计算机软件与理论 博士研究生
2018-2019，法国亚眠大学 博士后
研究领域
主要研究方向为组合优化问题的精确求解与启发式优化算法。在经典的NP难问题—最大团问题精确求解算法设计上，基于MaxSAT推理的技术路线，先后提出了渐进 MaxSAT 推理、双层预处理等技术，所设计的精确求解算法在经典算例和现实世界大规模算例上都取得了突破，显著提高了最大团精确算法的现实可用性;在泛化的最大团问题—加权最大团问题上，先后提出了权重覆盖、两段式 MaxSAT 推理等求解方案，所设计的算法超越了当前最好的精确算法和启发式算法，性能处于国际领先水平;基于有希望的下降变元和横向平移等策略设计的图染色问题纯局部搜索算法，性能达到了当前国际最高水平。
以第一作者或通讯作者在人工智能和运筹优化领域国际会议和学术期刊上发表论文多篇。其中，人工智能国际顶级学术会议 5 篇，包括IJCAI 1篇(CCF A 类)， AAAI 3 篇(CCF A 类)，ECAI 1 篇(CCF B 类); 运筹优化领域国际期刊 4 篇，包括 INFORMS Journal on Computing1 篇 (CCF B 类期刊，UTD24 个期刊之一)、European Journal of Operational Research1 篇(中科院二区，Top 期刊), Computers & Operations Research 1 篇(中科院三区)。
科研项目
[1]. 国家自然科学基金委员会, 地区项目, 62162066 , 社交网络凝聚子群影响力模型、算法与应用，2022-01至2025-12,48万元, 主持，在研
[2]. 国家自然科学基金委员会, 面上项目, 61272014 , 基于概率推理的命题逻辑可满足性问题局部搜索技术研究, 2013-01至2016-12,60万元, 已结题, 参与
[3]. 国家自然科学基金委员会, 面上项目, 61370184 , 合金团簇结构优化问题的高效求解算法, 2014-01至2017-12,73万元, 已结题, 参与
代表性学术论著
[1]. Jiang, Hua, Dongming Zhu, Zhichao Xie, Shaowen Yao, Zhang-Hua Fu:
A New Upper Bound Based on Vertex Partitioning for the Maximum K-plex Problem. IJCAI 2021: 1689-1696. (CCF A类顶级会议)
[2]. Jiang, Hua; Li, Chu Min; Liu, Yanli; Manyá, Felip. 2018. A Two-Stage MaxSAT Reasoning for the Maximum Weight Clique Problem. The Thirty-Second AAAI Conference on Artificial Intelligence, AAAI-18. (CCF A类顶级会议)
[2]. Li, Chu Min; Liu, Yanli; Jiang, Hua*; Manyá, Felip; Yu Li. 2018. A new upper bound for the Maximum Weight Clique Problem. European Journal of Operational Research. (中科 院二区，Top期刊，通讯作者)
[3]. Jiang, Hua; Li, Chu Min; Manyá, Felip. 2017. An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, AAAI-17, 830-838. (CCF A类顶级会议)
[4]. Li, Chu Min; Jiang, Hua*; Manyá, Felip. 2017. On Minimization of the Number
of Branches in Branch-and-Bound Algorithms for the Maximum Clique Problem. Computers & Operations Research, Vol. 84, 1-15 (中科院三区, 通讯作者)
[5] Li, Chu Min; Fang, Zhi Wen; Jiang, Hua; Xu, Ke. 2017. Incremental Upper Bound for the Maximum Clique Problem. INFORMS Journal on Computing. 30(1):137-153 (CCF B 类 期刊, UTD24 期刊之一)
[6]. Jiang, Hua; Li, Chu Min; Manyá, Felip. 2016. Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. In Proceedings of 22nd European Conference On Artificial Intelligence, ECAI 2016, 939–947. (CCF B类会议)
[7] Li, Chu Min; Jiang, Hua; Xu, Ru Chu; Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique. 2015. In Proceedings of Learning and Intelligent OptimizatioN Conference (LION 9), Springer LNCS 8994, 268– 274
[8] Christian Blum, Marko Djukanovic, Alberto Santini, Jiang, Hua, Chu-Min Li, Felip Manyà, Günther R. Raidl:Solving longest common subsequence problems via a transformation to the maximum clique problem. Comput. Oper. Res. 125: 105089 (2021) (中科院三区)
主要获奖成果
[1]. 命题可满足性问题(SAT)国际算法竞赛，结构化算例组别铜牌，2014
[2]. XXX信息化管理平台，军队科技进步三等奖，2013
学术任职
[1]. 中国计算机学会会员，理论计算机科学专委会委员
[2]. 人工智能顶级国际会议 IJCAI(2018-2021)、AAAI (2021)程序委员，AIJ、EJOR、C&OR 等国际会议和期刊的审稿人
