Similar problems exist more widely throughout natural language processing where greedy based methods and heuristic beam search have been used in lieu of exact methods.
recently there has been an increasing interest in using Integer Linear Programming (ILP) as a means to find MAP solutions.