Department:
Logic and Reasoning
Position:
Tenured Scientist
Research areas:
- Combinatorial Optimisation
- Optimisation
- Satisfiability models
- Solving constraint-based problems
- Automated Reasoning
Impact areas:
- Transport / Automotive
SDGs:
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]
Prev
1 (current)
2
3
4
Next