A branch-and-cut algorithm for submodular interdiction games - 42Papers