吕志鹏

个人信息

Personal information

教授     博士生导师     硕士生导师

性别:男

在职信息:在职

所在单位:计算机科学与技术学院

学历:研究生(博士)毕业

学位:博士学位

毕业院校:华中科技大学

学科:计算机软件与理论
学术荣誉:
2012    教育部新世纪优秀人才支持计划入选者
2013    华中学者
曾获荣誉:
2020    GECCO会议最优摄像机布局竞赛三项全球第一名

Chu-Min Li, Mao Luo, Fan Xiao, Felip Manya, Zhipeng Lü, Yu li. Clause Vivification by Unit Propagation in CDCL SAT Solvers. Artificial Intelligence, 279, 103197, 2020. [CCF-A];
发布时间:2023-11-29  点击次数: