With this assumption, GATSP can be phrased as an ILP as follows (this formulation is similar to the one proposed by Laporte et al.
a Majority Ordering algorithm is not guaranteed to compute good solutions to the discourse ordering problem, as Lapata (2003) assumes.