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