Jesús
Giráldez Crú
Publicaciones en las que colabora con Jesús Giráldez Crú (6)
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
-
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
-
The fractal dimension of SAT formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
The community structure of SAT formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)