English
español
Navegación por Autor Giráldez-Crú, Jesús
Mostrando resultados 11 a 13 de 13
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
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 | |
openAccess | 24-sep-2015 | Using Community Structure to Detect Relevant Learnt Clauses | Ansotegui, Carlos; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID ; Simon, Laurent | comunicación de congreso |