Mostrando resultados 5 a 13 de 13
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
openAccess | | 29-ago-2016 | Connecting ABT with a SAT Solver | Giráldez-Crú, Jesús; Martín-Sánchez, Guillermo; Meseguer, Pedro CSIC ORCID | artículo |
closedAccess | | 2016 | Generating SAT instances with community structure | Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | artículo |
closedAccess | | 19-oct-2016 | Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network | Adrian, Kemo CSIC ; Chocron, Paula; Confalonieri, Roberto; Ferrer, Xavier CSIC ; Giráldez-Crú, Jesús | artículo |
openAccess | | 19-ago-2017 | Locality in Random SAT Instances | Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | artículo |
openAccess | | 21-oct-2015 | On the Classification of Industrial SAT Families | Ansotegui, Carlos; Bonet, M. Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | comunicación de congreso |
openAccess | | may-2021 | Popularity-similarity random SAT formulas | Giráldez-Crú, Jesús; 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 |
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 |