Mostrando resultados 22 a 40 de 40
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
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 | | 2011 | On the complexity of bounded second-order unification and stratified context unification | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
openAccess | | 13-jul-2014 | On the Limits of Second-Order Unification | Levy, Jordi CSIC ORCID | comunicación de congreso |
closedAccess | | 2010 | On the relation between Context and Sequence Unification | Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo |
closedAccess | | 2000 | On the undecidability of second-order unification | Levy, Jordi CSIC ORCID ; Veanes, Margus | artículo |
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 |