Tesis Doctoral

Ponzio, Pablo Daniel. "Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT" . (2014). Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.