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, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.