ML Anthology
Authors
Search
About
Xiao, Fan
1 publications
IJCAI
2017
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
Mao Luo
,
Chu-Min Li
,
Fan Xiao
,
Felip Manyà
,
Zhipeng Lü