Saila: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Eremua: Konputazio Zientzia eta Adimen Artifiziala

Ikerketa taldea: SCI2S 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. Tesiaren zuzendaria Dr/a. Jordi Levy Díaz.