1. DIGITAL.CSIC

Levy, Jordi

Network Lab View Statistics Email Alert RSS Feed

Perfil

jordi2.jpg picture
 
Firma en Digital.CSIC (*)
Levy, Jordi
 
Otras firmas
Levy Díaz, Jorge
 
Centro o Instituto
CSIC -Instituto de Inteligencia Artificial (IIIA)
 
Categoría Profesional
Científico Titular
 
Especialización
SAT and MaxSAT solvers, Modelization of real-world SAT problems, Automated Deduction, Higher-Order Logics, Unification algorithms, Type Theory
 
Email
levy@iiia.csic.es
 
ORCID
 
Perfil en Google Scholar
 
Página web
 
Otros identificadores (con url)
 

Publications

Results 1-20 of 23 (Search time: 0.04 seconds).

RightsPreviewIssue DateTitleAuthor(s)Type
1openAccessJAR52(2)_155-90.pdf.jpg2014Anti-unification for unranked terms and hedgesKutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
2closedAccessaccesoRestringido.pdf.jpg1996Bi-Rewrite SystemsLevy, Jordi CSIC ORCID ; Agustí-Cullel, Jaume CSICartículo
3openAccess2019Community structure in industrial SAT instancesAnsotegui, Carlos; Bonet, M. Luisa; Levy, Jordi CSIC ORCID ; Simon, Laurentartículo
4closedAccessaccesoRestringido.pdf.jpg2016Exploiting subproblem optimization in SAT-based MaxSAT algorithmsAnsotegui, Carlos; Gabas, Joel; Levy, Jordi CSIC ORCID artículo
5openAccessFI(1994)_21(3)163-82.pdf.jpg1994Expressing Program Requirements Using Refinement LatticesRobertson, Dave; Agustí-Cullel, Jaume CSIC; Hesketh, Jane; Levy, Jordi CSIC ORCID artículo
6closedAccessaccesoRestringido.pdf.jpg2016Generating SAT instances with community structureGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
7openAccessJAR(2017)_58(2)293-310.pdf.jpg2017Higher-Order Pattern Anti-Unification in Linear TimeBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
8openAccessIJCAI17_638-644.pdf.jpg19-Aug-2017Locality in Random SAT InstancesGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
9openAccessRTA2004_LNCS3091_55-69.pdf.jpg2004Monadic second-order unification Is NP-completeLevy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateuartículo
10openAccess2022Multi-objective vehicle routing with automated negotiationDave de Jonge; Bistaffa, Filippo CSIC ORCID ; Levy, Jordi CSIC ORCID artículo
11openAccess2102.08146.pdf.jpg1-Jan-2022Nominal Unification and Matching of Higher Order Expressions with Recursive LetSchmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu; Kutz, Yunusartículo
12closedAccessaccesoRestringido.pdf.jpg2012Nominal unification from a higher-order perspectiveLevy, Jordi CSIC ORCID ; Villaret, Mateuartículo
13openAccess6-Sep-2016Nominal Unification of Higher Order Expressions with Recursive LetSchmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
14openAccessLJIGPL_19(6)2011_763-89.pdf.jpg2011On the complexity of bounded second-order unification and stratified context unificationLevy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateuartículo
15closedAccessaccesoRestringido.pdf.jpg2010On the relation between Context and Sequence UnificationKutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
16closedAccessaccesoRestringido.pdf.jpg2000On the undecidability of second-order unificationLevy, Jordi CSIC ORCID ; Veanes, Margusartículo
17openAccessPopularity-Similarity random SAT formulas.pdf.jpgMay-2021Popularity-similarity random SAT formulasGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
18closedAccessaccesoRestringido.pdf.jpg2007Resolution for Max-SATBonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID artículo
19closedAccessaccesoRestringido.pdf.jpg2013Resolution procedures for multiple-valued optimizationAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID ; Manyà, Felip CSIC ORCID artículo
20closedAccessaccesoRestringido.pdf.jpg2013SAT-based MaxSAT algorithmsAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID artículo