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