Lista de

PARALELO
2
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.
Vissani, Ignacio. (2013). "Un sat-solver paralelo y distribuido con herencia de cl´ausulas aprendidas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.