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

Email: jgiraldez@ugr.es

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.