JESÚS
GIRÁLDEZ CRÚ
PROGRAMA JUAN DE LA CIERVA
Tesis doctoral
-
Beyond the Structure of SAT Formulas 2016
Universitat Autònoma de Barcelona