En esta tesis proponemos un conjunto de algoritmos que son capaces de certificar soluciones óptimas para estas dos líneas de problemas, y en par- ticular consideramos la especialización de estos bajo distintas suposiciones ...