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
2162009
Look-ahead versus look-back for satisfiability problems
CM Li
International Conference on Principles and Practice of Constraint …, 1997
2131997
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
1972007
Integrating equivalency reasoning into Davis-Putnam procedure
CM Li
AAAI/IAAI 2000, 291-296, 2000
1862000
Diversification and determinism in local search for satisfiability
CM Li, WQ Huang
International Conference on Theory and Applications of Satisfiability …, 2005
1652005
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
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 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
1042006
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
952005
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
912008
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
912007
Exploiting cycle structures in Max-SAT
CM Li, F Manya, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
882009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
832006
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
732001
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
662017
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
602008
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
Combining graph structure exploitation and propositional reasoning for the maximum clique problem
CM Li, Z Quan
2010 22nd IEEE International Conference on Tools with Artificial …, 2010
552010
The system can't perform the operation now. Try again later.
Articles 1–20