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
5521997
MaxSAT, hard and soft constraints
CM Li, F Manya
Handbook of satisfiability, 903-927, 2021
2612021
Look-ahead versus look-back for satisfiability problems
CM Li
International Conference on Principles and Practice of Constraint …, 1997
217*1997
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2132007
Integrating equivalency reasoning into Davis-Putnam procedure
CM Li
AAAI/IAAI 2000, 291-296, 2000
1942000
Diversification and determinism in local search for satisfiability
CM Li, WQ Huang
International Conference on Theory and Applications of Satisfiability …, 2005
1692005
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
1542005
An efficient branch-and-bound algorithm based on maxsat for the maximum clique problem
CM Li, Z Quan
Twenty-fourth AAAI conference on artificial intelligence, 2010
1342010
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
1112006
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
1022005
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
972008
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
952009
Combining adaptive noise and look-ahead in local search for SAT
CM Li, W Wei, H Zhang
International Conference on Theory and Applications of Satisfiability …, 2007
932007
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
902006
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
892017
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
842013
Parallelizing Satz using dynamic workload balancing
B Jurkowiak, CM Li, G Utard
Electronic Notes in Discrete Mathematics 9, 174-189, 2001
752001
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
662008
Optimizing with minimum satisfiability
CM Li, Z Zhu, F Manyà, L Simon
Artificial Intelligence 190, 32-44, 2012
612012
A parallelization scheme based on work stealing for a class of SAT solvers
B Jurkowiak, CM Li, G Utard
Journal of Automated Reasoning 34 (1), 73-101, 2005
612005
The system can't perform the operation now. Try again later.
Articles 1–20