A disciplina tem como objetivo oferecer uma visão aprofundada de um tópico dentre as seguintes áreas de otimização: otimização não linear; otimização linear; otimização inteira; otimização global; otimização multiobjectivo; e programação por restrições.

Neste semestre, vamos abordar Benders Lógico.