个人简介

教育背景 1998-2002，解放军南京政治学院图书情报本科 2006-2008，华中科技大学计算机软件与理论硕士研究生 2011-2017，华中科技大学计算机软件与理论博士研究生 主要获奖成果 1.命题可满足性问题(SAT)国际算法竞赛，结构化算例组别铜牌，2014. 2.XXX信息化管理平台，军队科技进步三等奖，2013

研究领域

主要研究方向为组合优化问题的精确求解与启发式优化算法。在经典的NP难问题—最大团问题精确求解算法设计上，基于MaxSAT推理的技术路线，先后提出了渐进MaxSAT推理、双层预处理等技术，所设计的精确求解算法在经典算例和现实世界大规模算例上都取得了突破，显著提高了最大团精确算法的现实可用性;在泛化的最大团问题—加权最大团问题上，先后提出了权重覆盖、两段式MaxSAT推理等求解方案，所设计的算法超越了当前最好的精确算法和启发式算法，性能处于国际领先水平;基于有希望的下降变元和横向平移等策略设计的图染色问题纯局部搜索算法，性能达到了当前国际最好水平。

人工智能与运筹优化

近期论文

查看导师最新文章 （温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

[1].Jiang,Hua;Li,ChuMin;Liu,Yanli;Manyá,Felip.2018.ATwo-StageMaxSATReasoningfortheMaximumWeightCliqueProblem.TheThirty-SecondAAAIConferenceonArtificialIntelligence,AAAI-18.(CCFA类顶级会议)_x000b_ [2].Li,ChuMin;Liu,Yanli;Jiang,Hua*;Manyá,Felip;YuLi.2018.AnewupperboundfortheMaximumWeightCliqueProblem.EuropeanJournalofOperationalResearch.(中科院二区，Top期刊，通讯作者) [3].Jiang,Hua;Li,ChuMin;Manyá,Felip.2017.AnExactAlgorithmfortheMaximumWeightCliqueProbleminLargeGraphs.InProceedingsoftheThirty-FirstAAAIConferenceonArtificialIntelligence,AAAI-17,830-838.(CCFA类顶级会议)_x000b_ [4].Li,ChuMin;Jiang,Hua*;Manyá,Felip.2017.OnMinimizationoftheNumber_x000b_ofBranchesinBranch-and-BoundAlgorithmsfortheMaximumCliqueProblem.Computers&OperationsResearch,Vol.84,1-15(中科院三区,通讯作者)_x000b_ [5]Li,ChuMin;Fang,ZhiWen;Jiang,Hua;Xu,Ke.2017.IncrementalUpperBoundfortheMaximumCliqueProblem.INFORMSJournalonComputing.30(1):137-153(CCFB类期刊,UTD24期刊之一) [6].Jiang,Hua;Li,ChuMin;Manyá,Felip.2016.CombiningEfficientPreprocessingandIncrementalMaxSATReasoningforMaxCliqueinLargeGraphs.InProceedingsof22ndEuropeanConferenceOnArtificialIntelligence,ECAI2016,939–947.(CCFB类会议) [7]Li,ChuMin;Jiang,Hua;Xu,RuChu;IncrementalMaxSATReasoningtoReduceBranchesinaBranch-and-BoundAlgorithmforMaxClique.2015.InProceedingsofLearningandIntelligentOptimizatioNConference(LION9),SpringerLNCS8994,268–274

学术兼职

担任人工智能顶级国际会议IJCAI(2018-2020)、AAAI(2020)程序委员，AIJ、EJOR、C&OR等国际会议和期刊的审稿人。