Lista de

Pérez, Matías Hernando
1
Pérez, Matías Hernando. (2016). "Paralloy : learning y restart en un Sat Solver distribuido". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.