JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
Pedro
Almagro Blanco
Pedro Almagro Blanco-rekin lankidetzan egindako argitalpenak (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