Mao Luo

According to our database, Mao Luo authored at least 10 papers between 2017 and 2024.

Collaborative distances:

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

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