Title: Computational advances in the solution of large-scale covering and set partitioning problems