área de pesquisa Bruno Conti Marini Incorporação de métodos exatos à heurísticas para o problema de síntese de redes a 2-caminhos