Interdiction Models and Heuristics for Graph Propagation | Synapse