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

High efficiency referential genome compression algorithm. - Wei Shi; Jianhua Chen 001; Mao Luo; Min Chen (Bioinform., 2019)

A branching heuristic for SAT solvers based on complete implication graphs. - Fan Xiao; Chu-Min Li 001; Mao Luo; Felip Manyà; Zhipeng Lü; Yu Li 012 (Sci. China Inf. Sci., 2019)

Clause vivification by unit propagation in CDCL SAT solvers. - Chu-Min Li 001; Fan Xiao; Mao Luo; Felip Manyà; Zhipeng Lü; Yu Li 012 (Artif. Intell., 2020)

Branching Strategy Selection Approach Based on Vivification Ratio. - Mao Luo; Chu-Min Li 001; Xinyun Wu; Shuolin Li; Zhipeng Lü (CoRR, 2021)

Branching Strategy Selection Approach Based on Vivification Ratio. - Mao Luo; Chumin Li 001; Xinyun Wu; Shuolin Li; Zhipeng Lv (Int. J. Softw. Informatics, 2022)

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

An In-Label Prioritizing Variable Branching Strategy of SAT Solvers for a Preferred Extension of Argumentation Frameworks. - Mao Luo; Jiao Xiong; Ningning He; Caiquan Xiong; Xinyun Wu; Jun Wu (PRICAI (5), 2024)

A Safe Motion Planning and Reliable Control Framework for Autonomous Vehicles. - Huihui Pan; Mao Luo; Jue Wang; Tenglong Huang; Weichao Sun (IEEE Trans. Intell. Veh., 2024)

A novel local search approach with connected dominating degree-based incremental neighborhood evaluation for the minimum 2-connected dominating set problem. - Mao Luo; Huigang Qin; Xinyun Wu; Caiquan Xiong (J. Comb. Optim., 2024)

An adaptive focal distance tabu search approach for the minimum 2-connected dominating set problem. - Mao Luo; Xianhong Liu; Xinyun Wu; Caiquan Xiong; Yuanzhi Ke (J. Supercomput., 2025)

SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection. - Mao Luo; Zhi Wang; Yiwen Huang; Qingyun Zhang; Zhouxing Su; Zhipeng Lv; Wen Hu; Jianguo Li (CoRR, 2025)

A dual-evaluation-mode local-search for the minimum dominating set problem on ultra-large sparse graphs. - Yexin Peng; Mao Luo; Xinyun Wu; Caiquan Xiong; Hui Kong (J. Supercomput., 2025)