English
español
Navegación por Autor rp07741
Mostrando resultados 1 a 8 de 8
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 19-may-2016 | A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics | Soler, Joan Ramon CSIC ; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 9-jul-2016 | A Clause Tableau Calculus for MaxSAT | Li, Chu Min; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | comunicación de congreso |
openAccess | | 19-oct-2016 | A Clause Tableau Calculus for MinSAT | Li, Chumin; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | artículo |
closedAccess | | 2017 | A MaxSAT-Based approach to the team composition problem in a classroom | Manyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC | capítulo de libro |
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 |
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 | | 2021 | Clause tableaux for maximum and minimum satisfiability | Argelich, Josep; Li, C.M.; Manyà, Felip CSIC ORCID ; Soler, Joan Ramon CSIC | artículo |
closedAccess | | 2020 | Solving the Team Composition Problem in a Classroom | Manyà, Felip CSIC ORCID ; Negrete, Santiago; Roig, Carme; Soler, Joan Ramon CSIC | artículo |