Describir: Tecnicas de ramificacion y acotamiento para la solucion de problemas de optimizacion discreta