Jordi
Levy
Tenured Scientist
Logic and Reasoning
Research areas:
- Automated Negotiation
- Multiagent Systems
- Multi-Objective Optimization
- Combinatorial Optimisation
- Optimisation
- Satisfiability models
- Solving constraint-based problems
- Automated Reasoning
Impact areas:
- Industry
- Transport / Automotive
SDGs:
- 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]
Prev
1 (current)
2
3
4
Next