JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
Pedro
Almagro Blanco
Publicaciones en las que colabora con Pedro Almagro Blanco (2)
2022
-
Characterizing the Temperature of SAT Formulas
International Journal of Computational Intelligence Systems, Vol. 15, Núm. 1
2021
-
On the Temperature of SAT Formulas
Frontiers in Artificial Intelligence and Applications