Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT

Main Author: Ponzio, Pablo Daniel
Other Authors: Aguirre, Nazareno Matías, López Pombo, Carlos Gustavo
Format: Tesis Doctoral
Language: Castellano
Published: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014-06-13
Subjects:
Online Access: http://hdl.handle.net/20.500.12110/tesis_n5547_Ponzio