Uma formulação em programação linear inteira para solução exata do problema da alocação de recursos limitados na programação de multi-projetos Documento