Modelagem e otimização de problemas combinatorios