Modeling And Solving Influence Maximization Problems In Social Networks