Concepedia

Chu-Min Li

CL

29

Publications

1.1K

Citations

20

H-Index

1997

Active since

Affiliations

Université de Picardie Jules Verne(Current)

Huazhong University of Science and Technology

Artificial Intelligence Research Institute

Modélisation, information et systèmes

Centre National de la Recherche Scientifique

Chu-Min Li is an author at Université de Picardie Jules Verne specializing in engineering, combinatorial optimization, and computer science.

Top concepts

EngineeringCombinatorial OptimizationComputer ScienceComputational ComplexityDiscrete MathematicsGraph TheoryMathematical ProgrammingAutomated ReasoningData ScienceSatisfiability

Publications per year

1997–2022

29

Publications

29

An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem

Chu-Min Li, Zhe Quan · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 105 citations · Full text

Mathematical Programming, Branch-and-bound Algorithm, Engineering +22

On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem

Chu-Min Li, Hua Jiang, Felip Manyà · Computers & Operations Research · 2017 · 78 citations

Mathematical Programming, Branch-and-bound Algorithm, Maximum Clique Problem +14

Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem

Chu-Min Li, Zhiwen Fang, Ke Xu · 2013 · 76 citations

Mathematical Programming, Engineering, Maxsat Problem +22

Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT

Chu-Min Li, Felip Manyà, Jordi Planes · 2006 · 67 citations

Mathematical Programming, Engineering, Max-sat Solvers +17

An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs

Hua Jiang, Chu-Min Li, Felip Manyà · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 67 citations · Full text

Engineering, Large Graphs, Heuristic Mwc Algorithms +20

Rows per page

1–5 of 29