A decomposition strategy for the vertex cover problem