Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2024).Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint).Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI}2024, Jeju, South Korea, August 3-9, 2024(pp. 8475).
ijcai.org.https://doi.org/10.24963/ijcai.2024/947.[BibTeX]
[PDF]
2023
Carlos Ansótegui,
Maria Luisa Bonet,
& Jordi Levy
(2023).On the Density of States of Boolean Formulas.Ismael Sanz, Raquel Ros, & Jordi Nin (Eds.),Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023(pp. 369--382).
{IOS}Press.https://doi.org/10.3233/FAIA230707.[BibTeX]
[PDF]
Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2023).Polynomial Calculus for MaxSAT.Meena Mahajan, & Friedrich Slivovsky (Eds.),26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy(pp. 5:1--5:17).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SAT.2023.5.[BibTeX]
[PDF]
Thomas Bläsius,
Tobias Friedrich,
Andreas Göbel,
Jordi Levy,
& Ralf Rothenberger
(2023).The impact of heterogeneity and geometry on the proof complexity of random satisfiability.Random Struct. Algorithms, 63, 885--941.https://doi.org/10.1002/RSA.21168.[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,
& 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]
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://dl.acm.org/doi/10.5555/3463952.3464004.[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]