- Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)
Instituto de investigación
![Foto de - Institut Politècnic d’Innovació i Recerca en Sostenibilitat (INSPIRES)](/img/noimage.png)
![Foto de University of Bordeaux](/img/noimage_org.png)
University of Bordeaux
Burdeos, FranciaPublicaciones en colaboración con investigadores/as de University of Bordeaux (3)
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
2016
2015
-
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)