Lista de

González Márquez, David Alejandro
4
105879
1
Pérez, Matías Hernando. "Paralloy : learning y restart en un Sat Solver distribuido" . (2016). Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.