| 2026 | CP | Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT. | Jinghu Liang, Sami Cherif, Chu-Min Li |
| 2026 | CP | Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT. | Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li |
| 2026 | SAT | NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper). | Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li |
| 2025 | AAAI | Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT. | Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Many |
| 2024 | AAAI | Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem. | Qingyun Zhang, Yuming Du, Zhouxing Su, Chu-Min Li, Junzhou Xu, Zhihuai Chen, Zhipeng L |
| 2024 | CP | Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper). | Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux Devendeville |
| 2024 | ECAI | DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems. | Jinghui Xue, Jiongzhi Zheng, Kun He, Chu-Min Li, Yanli Liu |
| 2024 | IJCAI | A Swap Relaxation-Based Local Search for the Latin Square Completion Problem. | Zhenxuan Xie, Zhipeng L, Zhouxing Su, Chu-Min Li, Junwen Ding, Yuxuan Wang |
| 2024 | IJCAI | Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers. | Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He |
| 2024 | SAT | Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. | Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai |
| 2023 | AAAI | Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem. | Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He |
| 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 |
| 2022 | IJCAI | Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract). | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 2022 | IJCAI | BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit. | Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Many |
| 2022 | IJCAI | A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem. | Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu |
| 2021 | AAAI | Weighting-based Variable Neighborhood Search for Optimal Camera Placement. | Zhouxing Su, Qingyun Zhang, Zhipeng L, Chu-Min Li, Weibo Lin, Fuda Ma |
| 2021 | AAAI | Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem. | Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li |
| 2021 | CP | Combining Clause Learning and Branch and Bound for MaxSAT. | Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Many, Djamal Habet, Kun He |
| 2020 | AAAI | A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems. | Yanli Liu, Chu-Min Li, Hua Jiang, Kun He |
| 2019 | AAAI | A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem. | Junwen Ding, Zhipeng L, Chu-Min Li, Liji Shen, Liping Xu, Fred W. Glover |
| 2018 | AAAI | A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem. | Hua Jiang, Chu-Min Li, Yanli Liu, Felip Many |
| 2017 | AAAI | An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs. | Hua Jiang, Chu-Min Li, Felip Many |
| 2017 | AAAI | New Lower Bound for the Minimum Sum Coloring Problem. | Clment Lecat, Corinne Lucet, Chu-Min Li |
| 2017 | IJCAI | An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers. | Mao Luo, Chu-Min Li, Fan Xiao, Felip Many, Zhipeng L |
| 2014 | ECAI | Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. | Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu |
| 2013 | ICTAI | Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem. | Chu-Min Li, Zhiwen Fang, Ke Xu |