Maximizing Non-Monotone Submodular Functions | Synapse