Huang Lie Jun edited subsection_A_B__.tex  about 8 years ago

Commit id: 20ba52aa07478f22094b2d6e76c2d162fe2c95ed

deletions | additions      

       

\subsection{. \((A, B)\)}  Since \(A = B + 1\) is the constraint,  Domain \(D_A\) will be reduced to \({1, 2, 3, 4}\) to be make (\(A, B)\) arc-consistent.