Mao Luo

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Variable Ordering

Unit Propagation

Propositional Satisfiability

Top Venues

J. Comb. Optim.

Publications

Mao Luo, Huigang Qin, Xinyun Wu, Caiquan Xiong
A novel local search approach with connected dominating degree-based incremental neighborhood evaluation for the minimum 2-connected dominating set problem. J. Comb. Optim. 47 (5) (2024)
Huihui Pan, Mao Luo, Jue Wang, Tenglong Huang, Weichao Sun
A Safe Motion Planning and Reliable Control Framework for Autonomous Vehicles. IEEE Trans. Intell. Veh. 9 (4) (2024)
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers. IJCAI (2023)
Mao Luo, Chumin Li, Xinyun Wu, Shuolin Li, Zhipeng Lv
Branching Strategy Selection Approach Based on Vivification Ratio. Int. J. Softw. Informatics 12 (1) (2022)
Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
Branching Strategy Selection Approach Based on Vivification Ratio. CoRR (2021)
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
Clause vivification by unit propagation in CDCL SAT solvers. Artif. Intell. 279 (2020)
Wei Shi, Jianhua Chen, Mao Luo, Min Chen
High efficiency referential genome compression algorithm. Bioinform. 35 (12) (2019)
Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
A branching heuristic for SAT solvers based on complete implication graphs. Sci. China Inf. Sci. 62 (7) (2019)
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
Clause Vivification by Unit Propagation in CDCL SAT Solvers. CoRR (2018)
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. IJCAI (2017)