Publicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (22)

2023

  1. Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)

    IJCAI International Joint Conference on Artificial Intelligence

2021

  1. Popularity-similarity random SAT formulas

    Artificial Intelligence, Vol. 299

2019

  1. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472

2017

  1. Iterative AWC for distributed SAT

    Frontiers in Artificial Intelligence and Applications

  2. Locality in random SAT instances

    IJCAI International Joint Conference on Artificial Intelligence

  3. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2016

  1. Generating SAT instances with community structure

    Artificial Intelligence, Vol. 238, pp. 119-134

  2. Link prediction in evolutionary graphs the case study of the CCIA network

    Frontiers in Artificial Intelligence and Applications

2015

  1. A modularity-based random SAT instances generator

    IJCAI International Joint Conference on Artificial Intelligence

  2. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

  3. Using community structure to detect relevant learnt clauses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. Hesitant fuzzy sets: An emerging tool in decision making

    International Journal of Intelligent Systems

  2. Hesitant fuzzy sets: State of the art and future directions

    International Journal of Intelligent Systems, Vol. 29, Núm. 6, pp. 495-524

  3. The fractal dimension of SAT formulas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. Agent-mediated shared conceptualizations in tagging services

    Multimedia Tools and Applications, Vol. 65, Núm. 1, pp. 5-28

2012

  1. Conceptual-based reasoning in Mobile Web 2.0 by means multiagent systems: Knowledge engineering notes

    ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence

  2. On the complexity of shared conceptualizations

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. The community structure of SAT formulas

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010

  1. Identifying violin performers by their expressive trends

    Intelligent Data Analysis, Vol. 14, Núm. 5, pp. 555-571

2008

  1. Using expressive trends for identifying violin performers

    ISMIR 2008 - 9th International Conference on Music Information Retrieval