Area

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://doi.org/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]

IIIA-CSIC. CAMPUS DE LA UAB, E-08193. BELLATERRA, CATALONIA (SPAIN)

Phone. (+34) 93 580 9570 − Fax. (+34) 93 580 9661

© 2020 IIIA | All Rights reserved

Privacy Policy | Cookie Policy