Huang Lie Jun edited textit_On_arc_consistency_begin__.tex  about 8 years ago

Commit id: fe3ed30e38ef2218ae598efbf0203377f4e71254

deletions | additions      

       

\begin{quote}  \(X_{i}\) is arc-consistent with respect to another variable \(X_{j}\) if for every value in the current domain \(D_{i}\) there is some value in the domain \(D_{j}\) that satisfies the binary constraint on the arc (\(X_{i}, X_{j}\))   \end{quote}