个人信息
Personal information
教授 博士生导师 硕士生导师
性别:男
在职信息:在职
所在单位:计算机科学与技术学院
学历:研究生(博士)毕业
学位:工学博士学位
毕业院校:华中科技大学
学科:计算机软件与理论曾获荣誉:
2020 GECCO会议最优摄像机布局竞赛三项全球第一名
论文成果
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, and Zhipeng Lü. ‘An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers’[C]. IJCAI, 2017, 703–711, [CCF-A];