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