publicações selecionadas Programação de carga e descarga em docas utilizando programação linear inteira e a metaheurística simularem annealing