Limites inferiores para o problema de coloraÃÃo de vÃrtices via geraÃÃo de cortes e colunas - Carlos Diego Rodrigues (2008)