Mostrando resultados 27 a 40 de 40
< Anterior
| Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
| openAccess | | 23-oct-2019 | Phase Transition in Realistic Random SAT Models | Ansotegui, Carlos; Bonet, M. Luisa; Levy, Jordi CSIC ORCID | comunicación de congreso |
| openAccess | | 6-nov-2017 | Popularity and Similarity in SAT | 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 |
| openAccess |  | 2021 | Reducing SAT to Max2SAT | Ansotegui, Carlos; Levy, Jordi CSIC ORCID | comunicación de congreso |
| 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 |
| openAccess |  | 1-jun-2022 | Scale-Free Random SAT Instances | Ansótegui, Carlos; Bonet, Maria Luisa; Levy, Jordi CSIC ORCID | artículo |
| closedAccess |  | 2009 | Simplifying the signature in second-order unification | Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo |
| 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 |
