An important consequence of our design decision is that it enables us to reduce the space complexity of the implementation from Θ(d n )<cite> (Grefenstette and Sadrzadeh, 2011a)</cite> to Θ(d), making the problem much more tractable.