Describir: Métodos computacionales para la síntesis óptima de procesos con enfoques de optimización global