Concepedia

Mao Luo

ML

Statistics

Publications

3

Citations

87

H-Index

3

Active since

2017

Affiliations

Huazhong University of Science and Technology(Current)

Université de Picardie Jules Verne

Artificial Intelligence Research Institute

Modélisation, information et systèmes

Mao Luo is an author at Huazhong University of Science and Technology specializing in constraint propagation, computing, and computer science.

Publications per year

2017–2019

3

Publications

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

, , +12

Clause vivification by unit propagation in CDCL SAT solvers

Chu-Min Li, Fan Xiao, Mao Luo et al. · Artificial Intelligence · 2019 · 20 citations

, , +7

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

, , +14

1–3 of 3