Integer programming models and algorithms for the graph decontamination problem with mobile agents. - John Penuel; J. Cole Smith; Siqian Shen (Networks, 2013)