Mao Luo

According to our database, Mao Luo authored at least 7 papers between 2017 and 2023.

Collaborative distances:

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

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