罗茂(luomao@hbut.edu.cn)
罗茂,男,2022年毕业于华中科技大学BEAT365唯一官网,获得博士学位,师从吕志鹏教授和李初民教授。2014年毕业于华中科技大学BEAT365唯一官网,获得学士学位。主要研究方向为智能决策与优化、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.
欢迎具有一定编程基础、积极乐观、踏实认真的同学报考我的硕士研究生。