NP-hardness and evolutionary algorithm over new formulation for a Target Set Selection problem | IEEE Conference Publication | IEEE Xplore