JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
Universitat Politècnica de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (4)
2019
-
Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472
2017
-
Structure features for SAT instances classification
Journal of Applied Logic, Vol. 23, pp. 27-39
2015
-
On the Classification of Industrial SAT Families
Frontiers in Artificial Intelligence and Applications
2014
-
The fractal dimension of SAT formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)