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 in Engineering

Discipline:Computer Software and Theory

Details >

Paper Publications

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];

Release time:2023-11-29 Hits:

Copyright © 2017 Huazhong University of Science & Technology

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