English
español
Navegación por Autor rp02161
Mostrando resultados 36 a 40 de 40
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 9-jul-2018 | Term-graph anti-unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso | |
closedAccess | 2008 | The complexity of monadic second-order unification | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | 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 | ene-2021 | The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability | Bläsius, Thomos; Friedrich, Tobias; Göbel, Andreas; Levy, Jordi CSIC ORCID ; Rothenberger, Ralf | capítulo de libro | |
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 |