Publicaciones en las que colabora con JESÚS GIRÁLDEZ CRÚ (2)

2022

  1. On the Performance of Deep Generative Models of Realistic SAT Instances

    Leibniz International Proceedings in Informatics, LIPIcs

2021

  1. Herramientas de gamificación para la enseñanza de técnicas de búsqueda heurística en entornos dinámicos

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 6, pp. 179-186