DEPARTMENT: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Area: Computer Science and Artificial Intelligence

Research group: SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

Doctor by the Universitat Autònoma de Barcelona with the thesis Beyond the Structure of SAT Formulas 2016. Supervised by Dr. Jordi Levy Díaz.