“…Then, the same approach is applied to the remaining registers. The final solution of example 3 by using the 10,11,4) backtrack (11,8,T,4) relabeled (8,11,4) backtrack (11,10,T,4) relabeled 10,11,4) backtrack (11,7,T,4) relabeled (7,11,4 backtrack ( backtrack(11,5,T,4) relabeled (5,13,4) backtrack (13,6,T,4) relabeled (6,11,4) backtrack(ll,10,T,4) relabeled (10,11,4) backtrack (11,8,T,4) re labeled (8,11,4) backtrack (…”