Bicriteria Approximation Algorithms for the Submodular Cover Problem - Chen, Wenjing; Crawford, Victoria (Advances in Neural Information Processing Systems, 2023)