Familiarizar os alunos com técnicas de modelagem e resolução de problemas através de otimização inteira.
Problemas de otimização inteira, modelagem e formulações exatas, planos de cortes, branch-and-bound e branch-and-cut, geração de colunas, relaxações e formulações estendidas.
Problemas de otimização inteira e técnicas de formulação. Formulações exatas via programação linear, matrizes totalmente unimodulares. Planos de cortes. Os métodos "branch-and-bound" e "branch-and-cut". Geração de colunas e pricing. Relaxação de Lagrange. Formulações estendidas e projeções (lift-and-project).
Bibliografia Básica: 1. Notas de Aula. Bibliografia Complementar: 1. M. Conforti, G. Cornuéjols, G. Zambelli, Integer Programming, Springer, 2015. 2. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. 3. L.A. Wolsey, Integer Programming, Wiley, 1998. 5. G.L. Nemhauser, L.A. Wolsey, Integer and Combinatorial Optimization, Wiley, 1988. 6. D. Bertsimas and R. Weismantel, Optimization over Integers, Dynamic Ideas, 2005.