O Solver do Excel utiliza o método Simplex para resolver problemas de programação linear. O método Simplex é um algoritmo clássico e amplamente utilizado para otimização em programação linear. Analisando as alternativas: A) Busca Tabu - É um método de busca heurística, não utilizado pelo Solver para programação linear. B) Colônia de Formigas - Também é uma metaheurística, não é o método do Solver. C) Redes Neurais Artificiais - Usadas para problemas de aprendizado de máquina, não para programação linear. D) Algoritmos Genéticos - Outra abordagem heurística, não é o método do Solver. E) Simplex - Este é o método correto utilizado pelo Solver do Excel. Portanto, a alternativa correta é: E) Simplex.