CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL
Departamento
Universitat de Lleida
Lleida, EspañaPublicaciones en colaboración con investigadores/as de Universitat de Lleida (5)
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)