Li, Chu Min

28 publications

AAAI 2025 Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà

IJCAI 2024 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

IJCAI 2024 Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He

AAAI 2024 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ü

IJCAI 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à

AAAI 2023 Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He

IJCAI 2022 A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu

IJCAI 2022 BandMaxSAT: A Local Search MaxSAT Solver with Multi-Armed Bandit Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà

IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He

IJCAI 2022 HEA-D: A Hybrid Evolutionary Algorithm for Diversified Top-K Weight Clique Search Problem Jun Wu, Chu Min Li, Yupeng Zhou, Minghao Yin, Xin Xu, Dangdang Niu

AAAI 2021 Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li

AAAI 2021 Weighting-Based Variable Neighborhood Search for Optimal Camera Placement Zhouxing Su, Qingyun Zhang, Zhipeng Lü, Chu-Min Li, Weibo Lin, Fuda Ma

AAAI 2020 A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems Yanli Liu, Chu-Min Li, Hua Jiang, Kun He

AAAI 2019 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

AAAI 2018 A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manyà

IJCAI 2017 An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü

AAAI 2017 An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs Hua Jiang, Chu-Min Li, Felip Manyà

AAAI 2017 New Lower Bound for the Minimum Sum Coloring Problem Clément Lecat, Corinne Lucet, Chu-Min Li

IJCAI 2016 A Clause Tableau Calculus for MaxSAT Chu Min Li, Felip Manyà, Joan Ramon Soler

JAIR 2016 An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem Zhiwen Fang, Chu-Min Li, Ke Xu

IJCAI 2015 An Exact Inference Scheme for MinSAT Chu Min Li, Felip Manyà

IJCAI 2011 Minimum Satisfiability and Its Applications Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon

AAAI 2010 An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem Chu Min Li, Zhe Quan

AAAI 2008 Within-Problem Learning for Efficient Lower Bound Computation in Max-SAT Solving Han Lin, Kaile Su, Chu Min Li

JAIR 2007 New Inference Rules for Max-SAT Chu Min Li, Felip Manyà, Jordi Planes

AAAI 2006 Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT Chu Min Li, Felip Manyà, Jordi Planes

AAAI 2000 Integrating Equivalency Reasoning into Davis-Putnam Procedure Chu Min Li

IJCAI 1997 Heuristics Based on Unit Propagation for Satisfiability Problems Chu Min Li, Anbulagan