Binary programming formulations for the upper domination problem. - Burdett, Ryan; Haythorpe, Michael; Newcombe, Alex (Mathematical Methods of Operations Research, 2023)