DEPARTAMENTO: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Área: Ciencia de la Computación e Inteligencia Artificial

Grupo de investigación: SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

Doctor por la Universitat Autònoma de Barcelona con la tesis Beyond the Structure of SAT Formulas 2016. Dirigida por Dr/a. Jordi Levy Díaz.