Huang Lie Jun edited On_constraint_graph_begin_quote__.tex  about 8 years ago

Commit id: d68884ffcd3ce27fef7baea5edf3f64daed580a9

deletions | additions      

       

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