English
español
Navegación por Autor Li, Chumin
Mostrando resultados 4 a 9 de 9
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
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 |