Se prueban dos estrategias de carácter general para la resolución exacta del problema de cubrimiento de mínima cardinalidad, en el marco de los procedimientos branch and bound.Se ensaya:por un lado, la efectividad de realizar preproceso en todos los vértices y, por otro, el uso de cotas en "cascada" en orden creciente de su calidad.