Algoritmos baseados em grafos para geração de desigualdades válidas Conceito