Let U be the set of binary indicator variables corresponding to the values assigned to the back pointers.
u ij = 1 iff a i = j and C is the set of K binary constraint indicator variables indicating if linguistic constraints are violated.