Follow
Chu Min Li
Chu Min Li
Verified email at u-picardie.fr
Title
Cited by
Cited by
Year
Heuristics based on unit propagation for satisfiability problems
CM Li, A Anbulagan
Proceedings of the 15th international joint conference on Artifical …, 1997
5661997
MaxSAT, hard and soft constraints
CM Li, F Manya
Handbook of satisfiability, 903-927, 2021
3462021
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2312007
Look-ahead versus look-back for satisfiability problems
CM Li, Anbulagan
International Conference on Principles and Practice of Constraint …, 1997
223*1997
Integrating equivalency reasoning into Davis-Putnam procedure
CM Li
AAAI/IAAI 2000, 291-296, 2000
2092000
Diversification and determinism in local search for satisfiability
CM Li, WQ Huang
Theory and Applications of Satisfiability Testing: 8th International …, 2005
1842005
Greedy algorithms for packing unequal circles into a rectangular container
W Huang, Y Li, H Akeb, CM Li
Journal of the Operational Research Society 56 (5), 539-548, 2005
1662005
An efficient branch-and-bound algorithm based on maxsat for the maximum clique problem
CM Li, Z Quan
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 128-133, 2010
1632010
New heuristics for packing unequal circles into a circular container
WQ Huang, Y Li, CM Li, RC Xu
Computers & Operations Research 33 (8), 2125-2142, 2006
1212006
An effective learnt clause minimization approach for CDCL SAT solvers
M Luo, CM Li, F Xiao, F Manya, Z Lü
Proceedings of the 26th International Joint Conference on Artificial …, 2017
1162017
Exploiting unit propagation to compute lower bounds in branch and bound Max-SAT solvers
CM Li, F Manya, J Planes
International conference on principles and practice of constraint …, 2005
1122005
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4 (2-4), 251-278, 2008
1082008
Combining MaxSAT reasoning and incremental upper bound for the maximum clique problem
CM Li, Z Fang, K Xu
2013 IEEE 25th international conference on tools with artificial …, 2013
1062013
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
1042009
Combining adaptive noise and look-ahead in local search for SAT
CM Li, W Wei, H Zhang
Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007
1012007
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
982006
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem
CM Li, H Jiang, F Manyŕ
Computers & Operations Research 84, 1-15, 2017
942017
An exact algorithm for the maximum weight clique problem in large graphs
H Jiang, CM Li, F Manya
Proceedings of the AAAI conference on artificial intelligence 31 (1), 2017
862017
Parallelizing Satz using dynamic workload balancing
B Jurkowiak, CM Li, G Utard
Electronic Notes in Discrete Mathematics 9, 174-189, 2001
762001
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
732008
The system can't perform the operation now. Try again later.
Articles 1–20