Publicaciones en las que colabora con Pedro Almagro Blanco (2)

2022

  1. Characterizing the Temperature of SAT Formulas

    International Journal of Computational Intelligence Systems, Vol. 15, Núm. 1

2021

  1. On the Temperature of SAT Formulas

    Frontiers in Artificial Intelligence and Applications