In theory, different strategies should produce equivalent translation results.
because decoding always involves pruning, we show that different strategies do have a significant effect in translation quality.