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
Paper Publications
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];
Release time:2023-11-29
Hits: