Multi-Objective Optimization of Local Overlapping Community Detection: A Formal Model and Novel Evolutionary Algorithm | IEEE Journals & Magazine | IEEE Xplore