An improved binary programming formulation for the secure domination problem. - Burdett, Ryan; Haythorpe, Michael (Annals of Operations Research, 2020)