Lista de

Rosner, Nicolás Leandro
2
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.