English
español
Navegación por Autor Gabas, Joel
Mostrando resultados 1 a 2 de 2
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
closedAccess | 2016 | Exploiting subproblem optimization in SAT-based MaxSAT algorithms | Ansotegui, Carlos; Gabas, Joel; Levy, Jordi CSIC ORCID | artículo | |
openAccess | 16-sep-2013 | Improving WPM2 for (Weighted) Partial MaxSAT | Ansotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID | capítulo de libro |