Submodular Maximization over Multiple Matroids via Generalized Exchange Properties | Synapse