JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
Jordi
Levy
Publicaciones en las que colabora con Jordi Levy (10)
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
-
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
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
-
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)