An exact approach for the Vertex Coloring Problem