Mao Luo

15 papers A* 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation.
CoRR
Chao Wei, Xinyi Peng, Yawen Yan, Mao Luo, Ting Cai
2025 J jnl
A dual-evaluation-mode local-search for the minimum dominating set problem on ultra-large sparse graphs.
J. Supercomput.
Yexin Peng, Mao Luo, Xinyun Wu, Caiquan Xiong, Hui Kong
2025 J jnl
An adaptive focal distance tabu search approach for the minimum 2-connected dominating set problem.
J. Supercomput.
Mao Luo, Xianhong Liu, Xinyun Wu, Caiquan Xiong, Yuanzhi Ke
2025 J jnl
SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection.
CoRR
Mao Luo, Zhi Wang, Yiwen Huang, Qingyun Zhang, Zhouxing Su, Zhipeng Lv, Wen Hu, Jianguo Li
2024 J jnl
A Safe Motion Planning and Reliable Control Framework for Autonomous Vehicles.
IEEE Trans. Intell. Veh.
Huihui Pan, Mao Luo, Jue Wang, Tenglong Huang, Weichao Sun
2024 J jnl
A novel local search approach with connected dominating degree-based incremental neighborhood evaluation for the minimum 2-connected dominating set problem.
J. Comb. Optim.
Mao Luo, Huigang Qin, Xinyun Wu, Caiquan Xiong
2024 — conf
An In-Label Prioritizing Variable Branching Strategy of SAT Solvers for a Preferred Extension of Argumentation Frameworks.
PRICAI (5)
Mao Luo, Jiao Xiong, Ningning He, Caiquan Xiong, Xinyun Wu, Jun Wu
2023 A* conf
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.
IJCAI
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
2022 J jnl
Branching Strategy Selection Approach Based on Vivification Ratio.
Int. J. Softw. Informatics
Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv
2021 J jnl
Branching Strategy Selection Approach Based on Vivification Ratio.
CoRR
Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
2020 J jnl
Clause vivification by unit propagation in CDCL SAT solvers.
Artif. Intell.
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2019 J jnl
A branching heuristic for SAT solvers based on complete implication graphs.
Sci. China Inf. Sci.
Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2019 J jnl
High efficiency referential genome compression algorithm.
Bioinform.
Wei Shi, Jianhua Chen, Mao Luo, Min Chen
2018 J jnl
Clause Vivification by Unit Propagation in CDCL SAT Solvers.
CoRR
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2017 A* conf
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.
IJCAI
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü