Uma proposta de modelo matemático e algoritmo de otimização para o problema de instalação de locais de votação e alocação de eleitores.