| Heuristics based on unit propagation for satisfiability problems CM Li, A Anbulagan Proceedings of the 15th international joint conference on Artifical …, 1997 | 552 | 1997 |
| MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 903-927, 2021 | 261 | 2021 |
| 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 | 213 | 2007 |
| Integrating equivalency reasoning into Davis-Putnam procedure CM Li AAAI/IAAI 2000, 291-296, 2000 | 194 | 2000 |
| Diversification and determinism in local search for satisfiability CM Li, WQ Huang International Conference on Theory and Applications of Satisfiability …, 2005 | 169 | 2005 |
| 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 | 154 | 2005 |
| 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 | 134 | 2010 |
| 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 | 111 | 2006 |
| 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 | 102 | 2005 |
| 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 | 97 | 2008 |
| Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009 | 95 | 2009 |
| 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 | 93 | 2007 |
| Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006 | 90 | 2006 |
| 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 | 89 | 2017 |
| 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 | 84 | 2013 |
| Parallelizing Satz using dynamic workload balancing B Jurkowiak, CM Li, G Utard Electronic Notes in Discrete Mathematics 9, 174-189, 2001 | 75 | 2001 |
| Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. H Lin, K Su, CM Li AAAI 8, 351-356, 2008 | 66 | 2008 |
| Optimizing with minimum satisfiability CM Li, Z Zhu, F Manyà, L Simon Artificial Intelligence 190, 32-44, 2012 | 61 | 2012 |
| 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 | 61 | 2005 |
Jordi PlanesUniversitat de LleidaVerified email at udl.cat
