Maintaining Diversity Provably Helps in Evolutionary Multimodal Optimization | Synapse