Practical and Parallelizable Algorithms for Non-Monotone Submodular Maximization with Size Constraint | Synapse