Métodos Exatos Em Otimização Combinatória