Fast decoding and optimal decoding for machine translation | Synapse