Maximizing Non-monotone Submodular Functions | Synapse