Specifically, u ij = 1 iff a i = j and C is the set of K binary constraint indicator variables indicating if linguistic constraints are violated.
c k,i,j = 1 iff the linguistic constraint C k is violated for the back pointer u ij .