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