Jordi
Jordi
 
Levy
Levy

Tenured Scientist
Tenured Scientist


Department:

Logic and Reasoning
Logic and Reasoning

Position:

Tenured Scientist
Tenured Scientist



Research areas:

  • Combinatorial Optimisation
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • Automated Reasoning
  • Combinatorial Optimisation
  • Optimisation
  • Satisfiability models
  • Solving constraint-based problems
  • Automated Reasoning

Impact areas:

  • Transport / Automotive
  • Transport / Automotive

SDGs:

Phone Extension:

240
240

E-mail:

levy@iiia.csic.es
levy@iiia.csic.es

Website:

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]
Thomas Bläsius,  Tobias Friedrich,  Andreas Göbel,  Jordi Levy,  & Ralf Rothenberger (2020). The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. CoRR, abs/2004.07319. https://doi.org/https://arxiv.org/abs/2004.07319. [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]
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2015). Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15 . https://doi.org/10.4230/LIPIcs.RTA.2015.57. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Jesús Giráldez-Cru,  & Jordi Levy (2015). On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15 . https://doi.org/10.3233/978-1-61499-578-4-163. [BibTeX]
Carlos Ansótegui,  Jesús Giráldez-Cru,  Jordi Levy,  & Laurent Simon (2015). Using Community Structure to Detect Relevant Learnt Clauses. Proc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15 . https://doi.org/10.1007/978-3-319-24318-4_18. [BibTeX]
2014
Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2014). Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning, 52, 155-190. https://doi.org/10.1007/s10817-013-9285-6. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Jesús Giráldez-Cru,  & Jordi Levy (2014). The Fractal Dimension of SAT Formulas. Proc. of the 7th Int. Joint Conf. on Automated Reasoning, IJCAR'14 . https://doi.org/10.1007/978-3-319-08587-6_8. [BibTeX]
2013
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2013). A Variant of Higher-Order Anti-Unification. Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13 . https://doi.org/10.4230/LIPIcs.RTA.2013.113. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Joel Gabàs,  & Jordi Levy (2013). Improving WPM2 for (Weighted) Partial MaxSAT. Proc of the 19th Int. Conf. on Principles and Practice of Constraint Programming, CP'13 . https://doi.org/10.1007/978-3-642-40627-0_12. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2013). Resolution Procedures for Multiple-Valued Optimization. Information Sciences, 227, 43-59. [BibTeX]  [PDF]