Analyzing Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints
CC-MaxSat and Maximum Coverage are equivalent in FPT-Approximation parameterized by k, allowing for a randomized reduction preserving the approximation guarantee. This equivalence leads to faster algorithms for CC-MaxSat by utilizing known good algorithms for Maximum Coverage.