华中科技大学主页平台管理系统 LV ZHIPENG--Zhipeng Lv's Homepage-- 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类会议)

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

Current position: Zhipeng Lv's Homepage > Scientific Research > 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: