Lista de

González Márquez, David Alejandro
1
2016
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.