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
5391997
MaxSAT, hard and soft constraints
CM Li, F Manya
Handbook of satisfiability, 613-631, 2009
2272009
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
2002007
Look-ahead versus look-back for satisfiability problems
CM Li
International Conference on Principles and Practice of Constraint …, 1997
1921997
Integrating equivalency reasoning into Davis-Putnam procedure
CM Li
AAAI/IAAI 2000, 291-296, 2000
1882000
Diversification and determinism in local search for satisfiability
CM Li, WQ Huang
International Conference on Theory and Applications of Satisfiability …, 2005
1672005
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
1482005
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
1202010
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
1052006
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
982005
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
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
922008
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
892009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
842006
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
742013
Parallelizing Satz using dynamic workload balancing
B Jurkowiak, CM Li, G Utard
Electronic Notes in Discrete Mathematics 9, 174-189, 2001
742001
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
722017
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
622008
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
582005
A hybrid approach for SAT
D Habet, CM Li, L Devendeville, M Vasquez
International Conference on Principles and Practice of Constraint …, 2002
562002
The system can't perform the operation now. Try again later.
Articles 1–20