Unfortunately, the usefulness of their beam search solution is limited: potential alignments are constructed explicitly, which prevents a perfect search of alignment space and the use of algorithms like EM.
the cohesion constraint is based on a tree, which should make it amenable to dynamic programming solutions.