CA | ES | EN
Jordi
Jordi
 
Levy
Levy

Tenured Scientist
Tenured Scientist


Jordi
Jordi
 
Levy
Levy
Tenured Scientist
Tenured Scientist
Head of the Reasoning and Logic Group
Head of the Reasoning and Logic Group

Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
431860
431860
levy@iiia.csic.es
levy@iiia.csic.es
Research areas:
  • Automated Negotiation
  • Multiagent Systems
  • Multi-Objective Optimization
  • Combinatorial Optimisation
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • Automated Reasoning
  • Automated Negotiation
  • Multiagent Systems
  • Multi-Objective Optimization
  • Combinatorial Optimisation
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • Automated Reasoning
Impact areas:
  • Industry
  • Transport / Automotive
  • Industry
  • Transport / Automotive
SDGs:
  • GOAL 09: Industry, Innovation & Infrastructure
  • GOAL 11: Sustainable Cities and Communities
  • GOAL 13: Climate Action
  • GOAL 09: Industry, Innovation & Infrastructure
  • GOAL 11: Sustainable Cities and Communities
  • GOAL 13: Climate Action
2022
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. https://doi.org/10.1007/s10489-022-03329-2. [BibTeX]  [PDF]
Manfred Schmidt-Schauss,  Temur Kutsia,  Jordi Levy,  Mateu Villaret,  & Yunus D. K. Kutz (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae, 185, 247--283. https://doi.org/10.3233/FI-222110. [BibTeX]  [PDF]
Carlos Ansótegui,  Maria Luisa Bonet,  & Jordi Levy (2022). Scale-Free Random SAT Instances. Algorithms, 15, 219. https://doi.org/10.3390/a15060219. [BibTeX]  [PDF]
Carlos Ansótegui,  & Jordi Levy (2022). Yet Another (Fake) Proof of P=NP. Atia Cortés, Francisco Grimaldo, & Tommaso Flaminio (Eds.), Artificial Intelligence Research and Development (pp. 25--34). IOS Press. https://doi.org/10.3233/FAIA220310. [BibTeX]  [PDF]
2021
Dave de Jonge,  Filippo Bistaffa,  & Jordi Levy (2021). A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. Frank Dignum, Alessio Lomuscio, Ulle Endriss, & Ann Now{\\'{e}} (Eds.), {AAMAS}'21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021 (pp. 404--412). {ACM}. https://doi.org/https://dl.acm.org/doi/10.5555/3463952.3464004. [BibTeX]  [PDF]
Manfred Schmidt-Schauß,  Temur Kutsia,  Jordi Levy,  Mateu Villaret,  & Yunus Kutz (2021). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. [BibTeX]  [PDF]
Jesús Giráldez-Cru,  & Jordi Levy (2021). Popularity-similarity random SAT formulas. Artificial Intelligence, 299, 103537. https://doi.org/10.1016/j.artint.2021.103537. [BibTeX]
Carlos Ansótegui,  & Jordi Levy (2021). Reducing SAT to Max2SAT. Zhi-Hua Zhou (Eds.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21} (pp. 1367--1373). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2021/189. [BibTeX]  [PDF]
Thomas Bläsius,  Tobias Friedrich,  Andreas Göbel,  Jordi Levy,  & Ralf Rothenberger (2021). The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. Dániel Marx (Eds.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (pp. 42--53). SIAM. https://doi.org/10.1137/1.9781611976465.4. [BibTeX]  [PDF]
2020
Maria Luisa Bonet,  & Jordi Levy (2020). Equivalence Between Systems Stronger Than Resolution. Proc. of the 23rd Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'20, Alghero, Italy, July 3-10, 2020 (pp. 166--181). https://doi.org/10.1007/978-3-030-51825-7\_13. [BibTeX]  [PDF]
2019
Carlos Ansótegui,  Maria Luisa Bonet,  Jesús Giráldez-Cru,  Jordi Levy,  & Laurent Simon (2019). Community Structure in Industrial SAT Instances. J. Artif. Intell. Res., 66, 443--472. https://doi.org/10.1613/jair.1.11741. [BibTeX]  [PDF]
Carlos Ansótegui,  Maria Luisa Bonet,  & Jordi Levy (2019). Phase Transition in Realistic Random {SAT}Models. Jordi Sabater{-}Mir, Vicenç Torra, Isabel Aguiló, & Manuel González Hidalgo (Eds.), Artificial Intelligence Research and Development - Proceedings of the 22nd International Conference of the Catalan Association for Artificial Intelligence, {CCIA}2019, Mallorca, Spain, 23-25 October 2019 (pp. 213--222). {IOS}Press. https://doi.org/10.3233/FAIA190126. [BibTeX]  [PDF]
2018
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2018). Term-Graph Anti-Unification. H{\\'{e}}l{\\`{e}}ne Kirchner (Eds.), 3rd International Conference on Formal Structures for Computation and Deduction, {FSCD}2018, July 9-12, 2018, Oxford, {UK} (pp. 9:1--9:17). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.FSCD.2018.9. [BibTeX]  [PDF]
2017
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2017). Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning, 58, 293-310. https://doi.org/10.1007/s10817-016-9383-3. [BibTeX]
Jesús Giráldez-Cru,  & Jordi Levy (2017). Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017 (pp. 638-644). https://doi.org/10.24963/ijcai.2017/89. [BibTeX]
Manfred Schmidt-Schauß,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2017). Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016 (pp. 328-344). Springer. https://doi.org/10.1007/978-3-319-63139-4_19. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Jesús Giráldez-Cru,  & Jordi Levy (2017). Structure features for SAT instances classification. Journal of Applied Logic, 23, 27-39. https://doi.org/10.1016/j.jal.2016.11.004. [BibTeX]
2016
Carlos Ansótegui,  Joel Gabàs,  & Jordi Levy (2016). Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics, 22, 1-53. https://doi.org/10.1007/s10732-015-9300-7. [BibTeX]
Jesús Giráldez-Cru,  & Jordi Levy (2016). Generating SAT instances with community structure. Artificial Intelligence, 238, 119-134. https://doi.org/10.1016/j.artint.2016.06.001. [BibTeX]
2015
Jesús Giráldez-Cru,  & Jordi Levy (2015). A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15 . https://doi.org/http://ijcai.org/Abstract/15/277. [BibTeX]