Mao Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PRICAI | 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 |
| 2023 | IJCAI | 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 |
| 2017 | IJCAI | An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. | Mao Luo, Chu-Min Li, Fan Xiao, Felip Many, Zhipeng L |