Cofactoring-Based Upper Bound Computation forCovering