Mostrando resultados 12 a 31 de 40
< Anterior
Siguiente >
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
closedAccess | | 2016 | Generating SAT instances with community structure | Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | artículo |
openAccess | | 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo |
openAccess | | 16-sep-2013 | Improving WPM2 for (Weighted) Partial MaxSAT | Ansotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID | capítulo de libro |
openAccess | | 19-ago-2017 | Locality in Random SAT Instances | Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID | artículo |
openAccess | | 2004 | Monadic second-order unification Is NP-complete | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
openAccess | | 2022 | Multi-objective vehicle routing with automated negotiation | De Jonge, Dave CSIC ORCID; Bistaffa, Filippo CSIC ORCID ; Levy, Jordi CSIC ORCID | artículo |
openAccess | | 29-jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso |
openAccess | | 1-ene-2022 | Nominal Unification and Matching of Higher Order Expressions with Recursive Let | Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu; Kutz, Yunus | artículo |
closedAccess | | 2012 | Nominal unification from a higher-order perspective | Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo |
openAccess | | 6-sep-2016 | Nominal Unification of Higher Order Expressions with Recursive Let | Schmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | 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 | | 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 |