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]
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]
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]
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]