Département: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

Faculté: E.T.S. DE INGENIERÍAS INFORMÁTICA Y DE TELECOMUNICACIÓN

Domaine: Ciencia de la Computación e Inteligencia Artificial

Groupe de recherche: SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

Email: jgiraldez@ugr.es

Docteur à l Universitat Autònoma de Barcelona avec la thèse Beyond the Structure of SAT Formulas 2016. Dirigée par Dr/a. Jordi Levy Díaz.