Fachbereich: CIENCIAS DE LA COMPUTACIÓN E INTELIGENCIA ARTIFICIAL

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

Bereich: Informatik und künstliche Intelligenz

Forschungsgruppe: SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES

Doktor von der Universitat Autònoma de Barcelona mit der Dissertation Beyond the Structure of SAT Formulas 2016. unter der Leitung von Dr. Jordi Levy Díaz.