If k sentences must be selected in a given active learning iteration, we use the greedy algorithm to prune the problem by choosing k > k sentences from the corpus, and subsequently construct the ILP on this smaller problem to select the required k sentences.
it is the knowledge of which source words were translated incorrectly that is useful for sample selection.