English
español
Navegación por Autor Min Li, Chu
Mostrando resultados 1 a 5 de 5
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 3-sep-2019 | A Tableau Calculus for Non-clausal Maximum Satisfiability | Min Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | comunicación de congreso | |
closedAccess | 2018 | A two-stage MaxSAT reasoning approach for the maximum weight clique problem | Jiang, Hua; Min Li, Chu; Liu, Yanli; Manyà, Felip CSIC ORCID | comunicación de congreso | |
openAccess | 22-may-2019 | Clausal Form Transformation in MaxSAT | Min Li, Chu; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | comunicación de congreso | |
closedAccess | 19-may-2014 | Many-Valued MinSAT Solving | Argelich, Josep; Min Li, Chu; Manyà, Felip CSIC ORCID ; Zhu Zhu | comunicación de congreso | |
openAccess | 10-nov-2020 | Tableaux for Maximum Satisfiability in Lukasiewicz Logic | Manyà, Felip CSIC ORCID ; Min Li, Chu; Vidal, Amanda | comunicación de congreso |