Mao Luo

According to our database, Mao Luo authored at least 15 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Bridging Coarse and Fine Recognition: A Hybrid Approach for Open-Ended Multi-Granularity Object Recognition in Interactive Educational Games.

Hanling Yi, Feng Lin, Mao Luo, Yifan Yang, Xiaotian Yu, Rong Xiao

CoRR, April, 2026

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation.

Chao Wei, Xinyi Peng, Yawen Yan, Mao Luo, Ting Cai

CoRR, January, 2026

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., August, 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, July, 2025

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., February, 2025

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., July, 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., April, 2024

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

Proceedings of the PRICAI 2024: Trends in Artificial Intelligence, 2024

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à

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Branching Strategy Selection Approach Based on Vivification Ratio.

Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv

Int. J. Softw. Informatics, 2022

2021

Branching Strategy Selection Approach Based on Vivification Ratio.

Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü

CoRR, 2021

2020

Clause vivification by unit propagation in CDCL SAT solvers.

Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li

Artif. Intell., 2020

2019

A branching heuristic for SAT solvers based on complete implication graphs.

Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li

Sci. China Inf. Sci., 2019

High efficiency referential genome compression algorithm.

Wei Shi, Jianhua Chen, Mao Luo, Min Chen

Bioinform., 2019

2017

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.

Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017