Estuda programação inteira, relaxações, branch-and-bound, cortes e heurísticas. Aplicações incluem escalas, rotas, seleção de projetos e empacotamento.