个人信息
Personal information
教授 博士生导师 硕士生导师
性别：男
在职信息：在职
所在单位：计算机科学与技术学院
学历：研究生(博士)毕业
学位：工学博士学位
毕业院校：华中科技大学
学科：计算机软件与理论曾获荣誉：
2020 GECCO会议最优摄像机布局竞赛三项全球第一名
论文成果
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manya, Zhipeng Lü*. An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), 703-711, 2017. (Top 40论文，人工智能领域顶级会议，CCF A类会议)