English
español
Navegación por Autor Bonet, María Luisa
Mostrando resultados 4 a 9 de 9
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
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 | |
closedAccess | 2007 | Resolution for Max-SAT | Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo | |
closedAccess | 2013 | Resolution procedures for multiple-valued optimization | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID | artículo | |
closedAccess | 2013 | SAT-based MaxSAT algorithms | Ansotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID | artículo | |
closedAccess | 2017 | Structure features for SAT instances classification | Ansotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús | artículo | |
openAccess | 19-jul-2014 | The Fractal Dimension of SAT Formulas | Ansotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | comunicación de congreso |