Pure- and mixed-integer programmes can often be solved more quickly if the constraints are reformulated first. In this thesis five main themes related to reformulating these programmes are explored. [Continues.]