Departament: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Àrea: Ciència de la Computació i Intel·ligència Artificial

Grup d'investigació: SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

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