CA | ES | EN
Transport / Automotive
Transport / Automotive
2024
Adrià Fenoy,  Filippo Bistaffa,  & Alessandro Farinelli (2024). An attention model for the formation of collectives in real-world domains. Artificial Intelligence, 328, 104064. https://doi.org/10.1016/j.artint.2023.104064. [BibTeX]  [PDF]
Ilario Bonacina,  Maria Luisa Bonet,  & Jordi Levy (2024). Weighted, Circular and Semi-Algebraic Proofs. J. Artif. Intell. Res., 79, 447--482. https://doi.org/10.1613/JAIR.1.15075. [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]
2022
Filippo Bistaffa,  Georgios Chalkiadakis,  & Alessandro Farinelli (2022). Efficient Coalition Structure Generation via Approximately Equivalent Induced Subgraph Games. IEEE Transactions on Cybernetics, 52, 5548-5558. https://doi.org/10.1109/TCYB.2020.3040622. [BibTeX]  [PDF]
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
Filippo Bistaffa,  Christian Blum,  Jesús Cerquides,  Alessandro Farinelli,  & Juan A. Rodríguez-Aguilar (2021). A Computational Approach to Quantify the Benefits of Ridesharing for Policy Makers and Travellers. IEEE Transactions on Intelligent Transportation Systems, 22, 119-130. https://doi.org/10.1109/TITS.2019.2954982. [BibTeX]  [PDF]
Teddy Nurcahyadi,  & Christian Blum (2021). Adding Negative Learning to Ant Colony Optimization:A Comprehensive Study. Mathematics, 9. https://doi.org/10.3390/math9040361. [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]
Jon Perez,  Jose Luis Flores,  Christian Blum,  Jesus Cerquides,  & Alex Abuin (2021). Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems. IEEE Transactions on Industrial Informatics, 1-1. https://doi.org/10.1109/TII.2021.3074394. [BibTeX]
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
Marc Pujol-Gonzalez,  Jesus Cerquides,  Pedro Meseguer,  Juan A. Rodríguez-Aguilar,  & Milind Tambe (2018). Decentralized dynamic task allocation for UAVs with limited communication range. arXiv preprint arXiv:1809.07863. [BibTeX]  [PDF]