现在所在位置: 网站首页  >  师资队伍  >  教师简介  >  讲师及其他  >  正文

罗茂
来源:威廉希尔中文网站    作者:威廉希尔中文网站   日期:2024/03/28  浏览:

罗茂(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.


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

Copyright © 2024  威廉希尔·(WilliamHill)中文官方网站  版权所有  All Rights Reserved

学院办:86-027-59750443  教学办:86-027-59750442

党   办:86-027-59331738  学工办:86-027-59750023

地址:湖北省武汉市洪山区南李路28号   邮编:430068