English
español
Navegación por Autor Argelich, Josep
Mostrando resultados 1 a 7 de 7
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 20-ago-2017 | A probabilistic author-centered model for Twitter discussions | Alsinet, Teresa; Argelich, Josep; Bejar, Ramon; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID | comunicación de congreso |
closedAccess | | 2018 | Clause Branching in MaxSAT and MinSAT | Argelich, Josep; Li, Chu Min; Manyà, Felip CSIC ORCID ; Zhu, Zhu | 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 | | 2012 | Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT | Argelich, Josep; Cabiscol, Alba; Lynce, Ines; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 22-may-2017 | Exploiting Many-Valued Variables in MaxSAT | Argelich, Josep; Li, Chumin; Manyà, Felip CSIC ORCID | artículo |
closedAccess | | 19-may-2014 | Many-Valued MinSAT Solving | Argelich, Josep; Min Li, Chu; Manyà, Felip CSIC ORCID ; Zhu Zhu | comunicación de congreso |
closedAccess | | 16-sep-2013 | MinSAT versus MaxSAT for Optimization Problems | Argelich, Josep; Li, Chu Min; Manyà, Felip CSIC ORCID ; Zhu, Zhu | capítulo de libro |