DEPARTAMENTO: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Área: Ciencia da Computación e Intelixencia Artificial

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

Doutor pola Universitat Autònoma de Barcelona coa tese Beyond the Structure of SAT Formulas 2016. Dirixida por Dr/a. Jordi Levy Díaz.