CN

LV ZHIPENG

Professor

Supervisor of Doctorate Candidates

Supervisor of Master's Candidates

Gender:Male

Status:Employed

Department:School of Computer Science and Technology

Education Level:Postgraduate (Doctoral)

Degree:Doctoral Degree

Discipline:Computer Software and Theory

Details >

Paper Publications

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类会议)

Release time:2018-02-28 Hits:

Copyright © 2017 Huazhong University of Science & Technology

Click:times | The Founding Time:.. | The Last Update Time:.. | MOBILE Version