English
español
Navegación por Autor Li, Chumin
Mostrando resultados 1 a 9 de 9
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
openAccess | | 19-oct-2016 | A Clause Tableau Calculus for MinSAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | artículo |
closedAccess | | 15-ago-2017 | An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers | Luo, Mao; Li, Chumin; Xiao, Fan; Manyà, Felip CSIC ORCID ; Lu, Zhipeng | comunicación de congreso |
closedAccess | | 4-feb-2017 | An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs | Jiang, Hua; Li, Chumin; Manyà, Felip CSIC ORCID | comunicación de congreso |
closedAccess | | 22-may-2017 | Exploiting Many-Valued Variables in MaxSAT | Argelich, Josep; Li, Chumin; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2007 | Exploiting multivalued knowledge in variable selection heuristics for SAT solvers | Ansotegui, Carlos; Larrubia, Jose; Li, Chumin; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2007 | New inference rules for max-SAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Planes, Jordi | artículo |
closedAccess | | 2017 | On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem | Li, Chumin; Jiang, Hua; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 2012 | Optimizing with minimum satisfiability | Li, Chumin; Zhu, Zhu; Manyà, Felip CSIC ORCID ; Simon, Laurent | artículo |
closedAccess | | 2010 | Resolution-based lower bounds in MaxSAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Mohamedou, Nouredine O.; Planes, Jordi | artículo |