Um Modelo Matemático para Otimizar o Descarregamento de Navios num Terminal Graneleiro