CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departamento
Instituto de Investigación en Inteligencia Artificial
Cerdanyola del Vallès, EspañaPublicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (22)
2023
-
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)
IJCAI International Joint Conference on Artificial Intelligence
2021
-
Popularity-similarity random SAT formulas
Artificial Intelligence, Vol. 299
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
2017
-
Iterative AWC for distributed SAT
Frontiers in Artificial Intelligence and Applications
-
Locality in random SAT instances
IJCAI International Joint Conference on Artificial Intelligence
-
Structure features for SAT instances classification
Journal of Applied Logic, Vol. 23, pp. 27-39
2016
-
Generating SAT instances with community structure
Artificial Intelligence, Vol. 238, pp. 119-134
-
Link prediction in evolutionary graphs the case study of the CCIA network
Frontiers in Artificial Intelligence and Applications
2015
-
A modularity-based random SAT instances generator
IJCAI International Joint Conference on Artificial Intelligence
-
On the Classification of Industrial SAT Families
Frontiers in Artificial Intelligence and Applications
-
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
-
Hesitant fuzzy sets: An emerging tool in decision making
International Journal of Intelligent Systems
-
Hesitant fuzzy sets: State of the art and future directions
International Journal of Intelligent Systems, Vol. 29, Núm. 6, pp. 495-524
-
The fractal dimension of SAT formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
Agent-mediated shared conceptualizations in tagging services
Multimedia Tools and Applications, Vol. 65, Núm. 1, pp. 5-28
2012
-
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
-
On the complexity of shared conceptualizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The community structure of SAT formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Identifying violin performers by their expressive trends
Intelligent Data Analysis, Vol. 14, Núm. 5, pp. 555-571
2008
-
Using expressive trends for identifying violin performers
ISMIR 2008 - 9th International Conference on Music Information Retrieval