Chu Min Li
Chu Min Li
Dirección de correo verificada de u-picardie.fr
TítuloCitado porAño
Heuristics based on unit propagation for satisfiability problems
CM Li, A Anbulagan
Proceedings of the 15th international joint conference on Artifical …, 1997
5181997
Look-ahead versus look-back for satisfiability problems
CM Li
International Conference on Principles and Practice of Constraint …, 1997
2001997
New inference rules for Max-SAT
CM Li, F Manya, J Planes
Journal of Artificial Intelligence Research 30, 321-359, 2007
1852007
MaxSAT, Hard and Soft Constraints.
CM Li, F Manya
Handbook of satisfiability 185, 613-631, 2009
1772009
Integrating equivalency reasoning into Davis-Putnam procedure
CM Li
AAAI/IAAI 2000, 291-296, 2000
1732000
Diversification and determinism in local search for satisfiability
CM Li, WQ Huang
International Conference on Theory and Applications of Satisfiability …, 2005
1522005
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
1272005
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
952006
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
942010
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
902005
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
872007
Exploiting cycle structures in Max-SAT
CM Li, F Manyà, N Mohamedou, J Planes
International Conference on Theory and Applications of Satisfiability …, 2009
832009
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
CM Li, F Manya, J Planes
AAAI 6, 86-91, 2006
782006
The first and second Max-SAT evaluations
J Argelich, CM Li, F Manya, J Planes
Journal on Satisfiability, Boolean Modeling and Computation 4, 251-278, 2008
742008
Parallelizing Satz using dynamic workload balancing
B Jurkowiak, CM Li, G Utard
Electronic Notes in Discrete Mathematics 9, 174-189, 2001
672001
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
H Lin, K Su, CM Li
AAAI 8, 351-356, 2008
612008
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
602013
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
532005
A constraint-based approach to narrow search trees for satisfiability
CM Li
Information processing letters 71 (2), 75-80, 1999
521999
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
512010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20