English   español  

Browsing by Author rp02161

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 37  next >
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess3-May-2021A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated NegotiationDe Jonge, Dave; Bistaffa, Filippo CSIC ORCID ; Levy, Jordi CSIC ORCID comunicación de congreso
openAccess25-Jul-2015A Modularity-Based Random SAT Instances GeneratorGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso
openAccessA New Algorithm for Weighted Partial MaxSAT∗.pdf.jpg11-Jul-2010A New Algorithm for Weighted Partial MaxSATAnsotegui, Carlos; Bonet, María Luisa; Levy, Jordi CSIC ORCID comunicación de congreso
openAccess24-Jun-2013A Variant of Higher-Order Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateucomunicación de congreso
openAccessAN EFFICIENT NOMINAL UNIFICATION ALGORITHM.pdf.jpg11-Jul-2010An Efficient Nominal Unification AlgorithmLevy, Jordi CSIC ORCID ; Villaret, Mateucomunicación de congreso
openAccessJAR52(2)_155-90.pdf.jpg2014Anti-unification for unranked terms and hedgesKutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
closedAccessaccesoRestringido.pdf.jpg1996Bi-Rewrite SystemsLevy, Jordi CSIC ORCID ; Agusti, Jaumeartículo
openAccess2019Community structure in industrial SAT instancesAnsotegui, Carlos; Bonet, M. Luisa; Levy, Jordi CSIC ORCID ; Simon, Laurentartículo
openAccess3-Jul-2020Equivalence Between Systems Stronger Than ResolutionBonet, María Luisa; Levy, Jordi CSIC ORCID comunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2016Exploiting subproblem optimization in SAT-based MaxSAT algorithmsAnsotegui, Carlos; Gabas, Joel; Levy, Jordi CSIC ORCID artículo
openAccessFI(1994)_21(3)163-82.pdf.jpg1994Expressing Program Requirements Using Refinement LatticesRobertson, Dave; Agusti, Jaume; Hesketh, Jane; Levy, Jordi CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2016Generating SAT instances with community structureGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
openAccessJAR(2017)_58(2)293-310.pdf.jpg2017Higher-Order Pattern Anti-Unification in Linear TimeBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
openAccess16-Sep-2013Improving WPM2 for (Weighted) Partial MaxSATAnsotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID capítulo de libro
openAccessIJCAI17_638-644.pdf.jpg19-Aug-2017Locality in Random SAT InstancesGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
openAccessRTA2004_LNCS3091_55-69.pdf.jpg2004Monadic second-order unification Is NP-completeLevy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateuartículo
openAccess29-Jun-2015Nominal Anti-UnificationBaumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateucomunicación de congreso
closedAccessaccesoRestringido.pdf.jpg2012Nominal unification from a higher-order perspectiveLevy, Jordi CSIC ORCID ; Villaret, Mateuartículo
openAccess6-Sep-2016Nominal Unification of Higher Order Expressions with Recursive LetSchmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateuartículo
openAccess21-Oct-2015On the Classification of Industrial SAT FamiliesAnsotegui, Carlos; Bonet, M. Luisa; Giráldez-Cru, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso