Showing results 1 to 20 of 25
next >
Rights | Preview | Issue Date | Title | Author(s) | Type |
openAccess | | 25-Jul-2015 | A Modularity-Based Random SAT Instances Generator | Giráldez-Crú, Jesús ; Levy, Jordi | comunicación de congreso |
openAccess | | 24-Jun-2013 | A Variant of Higher-Order Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | comunicación de congreso |
openAccess |  | 2014 | Anti-unification for unranked terms and hedges | Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | artículo |
closedAccess |  | 1996 | Bi-Rewrite Systems | Levy, Jordi ; Agusti, Jaume  | artículo |
closedAccess |  | 2016 | Exploiting subproblem optimization in SAT-based MaxSAT algorithms | Ansotegui, Carlos; Gabas, Joel; Levy, Jordi | artículo |
openAccess |  | 1994 | Expressing Program Requirements Using Refinement Lattices | Robertson, Dave; Agusti, Jaume ; Hesketh, Jane; Levy, Jordi | artículo |
closedAccess |  | 2016 | Generating SAT instances with community structure | Giráldez-Crú, Jesús ; Levy, Jordi | artículo |
openAccess |  | 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | artículo |
openAccess | | 16-Sep-2013 | Improving WPM2 for (Weighted) Partial MaxSAT | Ansotegui, Carlos; Bonet, Maria Luisa; Gabas, Joel; Levy, Jordi | capítulo de libro |
openAccess |  | 19-Aug-2017 | Locality in Random SAT Instances | Giráldez-Crú, Jesús ; Levy, Jordi | artículo |
openAccess |  | 2004 | Monadic second-order unification Is NP-complete | Levy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateu  | artículo |
openAccess | | 29-Jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | comunicación de congreso |
closedAccess |  | 2012 | Nominal unification from a higher-order perspective | Levy, Jordi ; Villaret, Mateu  | artículo |
openAccess | | 6-Sep-2016 | Nominal Unification of Higher Order Expressions with Recursive Let | Schmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | artículo |
openAccess |  | 2011 | On the complexity of bounded second-order unification and stratified context unification | Levy, Jordi ; Schmidt-Schauss, Manfred; Villaret, Mateu  | artículo |
openAccess | | 13-Jul-2014 | On the Limits of Second-Order Unification | Levy, Jordi | comunicación de congreso |
closedAccess |  | 2010 | On the relation between Context and Sequence Unification | Kutsia, Temur; Levy, Jordi ; Villaret, Mateu  | artículo |
closedAccess |  | 2000 | On the undecidability of second-order unification | Levy, Jordi ; Veanes, Margus | artículo |
closedAccess |  | 2007 | Resolution for Max-SAT | Bonet, Maria Luisa; Levy, Jordi ; Manyà, Felip | artículo |
closedAccess |  | 2013 | Resolution procedures for multiple-valued optimization | Ansotegui, Carlos; Bonet, Maria Luisa; Levy, Jordi ; Manyà, Felip | artículo |