罗茂（luomao@hbut.edu.cn）

罗茂，男，2022年毕业于华中科技大学计算机学院，获得博士学位，师从吕志鹏教授和李初民教授。2014年毕业于华中科技大学计算机学院，获得学士学位。主要研究方向为智能决策与优化、NP难问题求解、可满足性问题（SAT）的求解算法和电子设计自动化（EDA）软件设计。在人工智能国际顶级期刊和会议上发表多篇论文（如人工智能领域顶级会议IJCAI，人工智能领域顶级期刊AI，CCF推荐T1类期刊《中国科学：信息科学》）。

获奖情况

1. 2017年国际SAT算法竞赛主赛道冠军；

2. 2018年国际SAT算法竞赛主赛道第三名和No-Limited赛道第二名；

3. 2022年国际SAT算法竞赛二十周年庆历史总赛道（Anniversary）冠军；

4. 2021年国际EDA Challenge Top30优胜奖；

5. 2023年（第五届）集成电路EDA设计精英挑战赛三等奖。

论文发表情况

[1] Mao Luo, Chu-Min Li(*) , Fan Xiao, Felip Manyà, Zhipeng Lü. An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers, InProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI). 2017, 703-711.（CCF A类会议，高被引论文）

[2] Chu-Min Li(*), Fan Xiao,Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li. Clause Vivification by Unit Propagation in CDCL SAT Solvers.Artificial Intelligence, 2020, 279: 103197.（CCF A类期刊，高被引论文）

[3] Shuolin Li, Chu-Min Li(*),Mao Luo(*), Jordi Coll, Djamal Habet, Felip Manyà. A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. InProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI). 2023, 1979-1987.（CCF A类会议，通讯作者）

[4] Fan Xiao, Chu-Min Li(*),Mao Luo, Felip Manya, Zhipeng Lü, Yu Li. A Branching Heuristic for SAT Solvers Based on Complete Implication Graphs.SCIENCE CHINA Information Sciences, 2019, 62(07): 72103.（CCF T1类期刊，引用量11次）

[5] Mao Luo, Chu-Min Li(*), Xinyun Wu, Shuolin Li, Zhipeng Lü. Branching Strategy Selection Approach Based on Vivification Ratio.International Journal of Software and Informatics, 2022,12(1):131-151.

欢迎具有一定编程基础、积极乐观、踏实认真的同学报考我的硕士研究生。