Statistics
Publications
3
Citations
87
H-Index
3
Active since
2017
Fan Xiao is an author at Université de Picardie Jules Verne specializing in algorithms, constraint propagation, and computing.
Publications per year
2017–2019
3
3
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
Mao Luo, Chu-Min Li, Fan Xiao et al. · 2017 · 56 citations · Full text
Clause vivification by unit propagation in CDCL SAT solvers
Chu-Min Li, Fan Xiao, Mao Luo et al. · Artificial Intelligence · 2019 · 20 citations
A branching heuristic for SAT solvers based on complete implication graphs
Fan Xiao, Chu-Min Li, Mao Luo et al. · Science China Information Sciences · 2019 · 11 citations
1–3 of 3