Integer Programming Techniques for Propagation and Rainbow Connection Problems in Graphs