Luo, Mao

2 publications

IJCAI 2023 A New Variable Ordering for In-Processing Bounded Variable Elimination in SAT Solvers Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2017 An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü