| Heuristics based on unit propagation for satisfiability problems CM Li, A Anbulagan Proceedings of the 15th international joint conference on Artifical …, 1997 | 539 | 1997 |
| MaxSAT, hard and soft constraints CM Li, F Manya Handbook of satisfiability, 613-631, 2009 | 227 | 2009 |
| New inference rules for Max-SAT CM Li, F Manya, J Planes Journal of Artificial Intelligence Research 30, 321-359, 2007 | 200 | 2007 |
| Look-ahead versus look-back for satisfiability problems CM Li International Conference on Principles and Practice of Constraint …, 1997 | 192 | 1997 |
| Integrating equivalency reasoning into Davis-Putnam procedure CM Li AAAI/IAAI 2000, 291-296, 2000 | 188 | 2000 |
| Diversification and determinism in local search for satisfiability CM Li, WQ Huang International Conference on Theory and Applications of Satisfiability …, 2005 | 167 | 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 | 148 | 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 | 120 | 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 | 105 | 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 | 98 | 2005 |
| 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 |
| 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 | 92 | 2008 |
| Exploiting cycle structures in Max-SAT CM Li, F Manya, N Mohamedou, J Planes International Conference on Theory and Applications of Satisfiability …, 2009 | 89 | 2009 |
| Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT CM Li, F Manya, J Planes AAAI 6, 86-91, 2006 | 84 | 2006 |
| 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 | 74 | 2013 |
| Parallelizing Satz using dynamic workload balancing B Jurkowiak, CM Li, G Utard Electronic Notes in Discrete Mathematics 9, 174-189, 2001 | 74 | 2001 |
| 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 | 72 | 2017 |
| Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving. H Lin, K Su, CM Li AAAI 8, 351-356, 2008 | 62 | 2008 |
| 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 | 58 | 2005 |
| A hybrid approach for SAT D Habet, CM Li, L Devendeville, M Vasquez International Conference on Principles and Practice of Constraint …, 2002 | 56 | 2002 |
Jordi PlanesUniversitat de LleidaVerified email at diei.udl.cat
