Bonnet, et al.. Parameterized Exact and Approximation Algorithms for Maximum K-set Cover and Related Satisfiability Problems. 27 Sept. 2016.