Chu-Min Li

66 papers A* 17A 6B 1Journal 38Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT.
AAAI
Shuolin Li, Chu-Min Li, Jordi Coll, Djamal Habet, Felip Manyà
2025 J jnl
Integer Linear Programming Preprocessing for Maximum Satisfiability.
CoRR
Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng
2025 J jnl
Integrating multi-armed bandit with local search for MaxSAT.
Artif. Intell.
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
2024 A* conf
A Swap Relaxation-Based Local Search for the Latin Square Completion Problem.
IJCAI
Zhenxuan Xie, Zhipeng Lü, Zhouxing Su, Chu-Min Li, Junwen Ding, Yuxuan Wang
2024 J jnl
An Efficient Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems.
CoRR
Jiongzhi Zheng, Jinghui Xue, Kun He, Chu-Min Li, Yanli Liu
2024 J jnl
An efficient solution space exploring and descent method for packing equal spheres in a sphere.
Comput. Oper. Res.
Jianrong Zhou, Shuo Ren, Kun He, Yanli Liu, Chu-Min Li
2024 A conf
DiverTEAM: An Effective Evolutionary Algorithm for Diversified Top-k (Weight) Clique Search Problems.
ECAI
Jinghui Xue, Jiongzhi Zheng, Kun He, Chu-Min Li, Yanli Liu
2024 A conf
Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme.
SAT
Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai
2024 J jnl
Geometric batch optimization for packing equal circles in a circle on large scale.
Expert Syst. Appl.
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
2024 A conf
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper).
CP
Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux Devendeville
2024 A* conf
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers.
IJCAI
Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He
2024 J jnl
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers.
CoRR
Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He
2024 A* conf
Threshold-Based Responsive Simulated Annealing for Directed Feedback Vertex Set Problem.
AAAI
Qingyun Zhang, Yuming Du, Zhouxing Su, Chu-Min Li, Junzhou Xu, Zhihuai Chen, Zhipeng Lü
2023 — conf
A Complete Tableau Calculus for the Regular MaxSAT Problem.
CCIA
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
2023 A* conf
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers.
IJCAI
Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet, Felip Manyà
2023 J jnl
An Efficient Solution Space Exploring and Descent Method for Packing Equal Spheres in a Sphere.
CoRR
Jianrong Zhou, Shuo Ren, Kun He, Yanli Liu, Chu-Min Li
2023 J jnl
Geometric Batch Optimization for the Packing Equal Circles in a Circle Problem on Large Scale.
CoRR
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li
2023 A* conf
Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem.
AAAI
Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He
2023 J jnl
MaxSAT resolution for regular propositional logic.
Int. J. Approx. Reason.
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
2023 J jnl
On solving simplified diversified top-k s-plex problem.
Comput. Oper. Res.
Jun Wu, Chu-Min Li, Luzhi Wang, Shuli Hu, Peng Zhao, Minghao Yin
2023 J jnl
Parallel Bounded Search for the Maximum Clique Problem.
J. Comput. Sci. Technol.
Hua Jiang, Ke Bai, Hai-Jiao Liu, Chu-Min Li, Felip Manyà, Zhang-Hua Fu
2023 J jnl
Reinforced Lin-Kernighan-Helsgaun algorithms for the traveling salesman problems.
Knowl. Based Syst.
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
2022 A* conf
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem.
IJCAI
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu
2022 J jnl
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem.
CoRR
Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu
2022 — conf
A Tableau Calculus for MaxSAT Based on Resolution.
CCIA
Shoulin Li, Jordi Coll, Djamal Habet, Chu-Min Li, Felip Manyà
2022 A* conf
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit.
IJCAI
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
2022 J jnl
Boosting branch-and-bound MaxSAT solvers with clause learning.
AI Commun.
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2022 J jnl
Clustering Driven Iterated Hybrid Search for Vertex Bisection Minimization.
IEEE Trans. Computers
Yan Jin, Bowen Xiong, Kun He, Jin-Kao Hao, Chu-Min Li, Zhang-Hua Fu
2022 A* conf
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract).
IJCAI
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2022 J jnl
Hybrid Learning with New Value Function for the Maximum Common Subgraph Problem.
CoRR
Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He
2022 J jnl
Incorporating Multi-armed Bandit with Local Search for MaxSAT.
CoRR
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà
2022 J jnl
Reinforced Lin-Kernighan-Helsgaun Algorithms for the Traveling Salesman Problems.
CoRR
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
2021 J jnl
A resolution calculus for MinSAT.
Log. J. IGPL
Chu-Min Li, Fan Xiao, Felip Manyà
2021 J jnl
Branching Strategy Selection Approach Based on Vivification Ratio.
CoRR
Mao Luo, Chu-Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
2021 A conf
Combining Clause Learning and Branch and Bound for MaxSAT.
CP
Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, Kun He
2021 A* conf
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem.
AAAI
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
2021 — conf
From Non-Clausal to Clausal MinSAT.
CCIA
Chu-Min Li, Felip Manyà, Joan Ramon Soler, Amanda Vidal
2021 J jnl
Solving longest common subsequence problems via a transformation to the maximum clique problem.
Comput. Oper. Res.
Christian Blum, Marko Djukanovic, Alberto Santini, Hua Jiang, Chu-Min Li, Felip Manyà, Günther R. Raidl
2021 A ed.
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
SAT
Chu-Min Li, Felip Manyà
2021 A* conf
Weighting-based Variable Neighborhood Search for Optimal Camera Placement.
AAAI
Zhouxing Su, Qingyun Zhang, Zhipeng Lü, Chu-Min Li, Weibo Lin, Fuda Ma
2020 A* conf
A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems.
AAAI
Yanli Liu, Chu-Min Li, Hua Jiang, Kun He
2020 J jnl
Clause vivification by unit propagation in CDCL SAT solvers.
Artif. Intell.
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2020 J jnl
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem.
CoRR
Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li
2020 J jnl
Local search for diversified Top-
Comput. Oper. Res.
Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
2020 J jnl
Stochastic Item Descent Method for Large Scale Equal Circle Packing Problem.
CoRR
Kun He, Min Zhang, Jianrong Zhou, Yan Jin, Chu-Min Li
2019 J jnl
A Learning based Branch and Bound for Maximum Common Subgraph Problems.
CoRR
Yanli Liu, Chu-Min Li, Hua Jiang, Kun He
2019 A* conf
A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem.
AAAI
Junwen Ding, Zhipeng Lü, Chu-Min Li, Liji Shen, Liping Xu, Fred W. Glover
2019 J jnl
A branching heuristic for SAT solvers based on complete implication graphs.
Sci. China Inf. Sci.
Fan Xiao, Chu-Min Li, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2019 J jnl
An Effective Variable Neighborhood Search with Perturbation for Location-Routing Problem.
Int. J. Artif. Intell. Tools
Hua Jiang, Corinne Lucet, Laure Devendeville, Chu-Min Li
2019 J jnl
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs.
CoRR
Luzhi Wang, Chu-Min Li, Junping Zhou, Bo Jin, Minghao Yin
2019 J jnl
An iterative Path-Breaking approach with mutation and restart strategies for the MAX-SAT problem.
Comput. Oper. Res.
Zhenxing Xu, Kun He, Chu-Min Li
2018 A* conf
A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem.
AAAI
Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manyà
2018 J jnl
A new upper bound for the maximum weight clique problem.
Eur. J. Oper. Res.
Chu-Min Li, Yanli Liu, Hua Jiang, Felip Manyà, Yu Li
2018 J jnl
An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem.
CoRR
Zhenxing Xu, Kun He, Chu-Min Li
2018 J jnl
Clause Vivification by Unit Propagation in CDCL SAT Solvers.
CoRR
Chu-Min Li, Fan Xiao, Mao Luo, Felip Manyà, Zhipeng Lü, Yu Li
2018 J jnl
Incremental Upper Bound for the Maximum Clique Problem.
INFORMS J. Comput.
Chu-Min Li, Zhiwen Fang, Hua Jiang, Ke Xu
2017 A* conf
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.
IJCAI
Mao Luo, Chu-Min Li, Fan Xiao, Felip Manyà, Zhipeng Lü
2017 A* conf
An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs.
AAAI
Hua Jiang, Chu-Min Li, Felip Manyà
2017 J jnl
Minimum sum coloring problem: Upper bounds for the chromatic strength.
Discret. Appl. Math.
Clément Lecat, Corinne Lucet, Chu-Min Li
2017 A* conf
New Lower Bound for the Minimum Sum Coloring Problem.
AAAI
Clément Lecat, Corinne Lucet, Chu-Min Li
2017 J jnl
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem.
Comput. Oper. Res.
Chu-Min Li, Hua Jiang, Felip Manyà
2016 J jnl
An Exact Algorithm Based on MaxSAT Reasoning for the Maximum Weight Clique Problem.
J. Artif. Intell. Res.
Zhiwen Fang, Chu-Min Li, Ke Xu
2016 J jnl
Sum Coloring : New upper bounds for the chromatic strength.
CoRR
Clément Lecat, Corinne Lucet, Chu-Min Li
2015 — conf
Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique.
LION
Chu-Min Li, Hua Jiang, Ruchu Xu
2014 A conf
Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning.
ECAI
Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu
2013 B conf
Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem.
ICTAI
Chu-Min Li, Zhiwen Fang, Ke Xu