Cofactoring-Based Upper Bound Computation for Covering Problems Congguang Yang Maciej Ciesielski