Huang Lie Jun edited On_arc_consistency_begin_quote__.tex  about 8 years ago

Commit id: bdc8b1784991b06ee7f7cb91e2d14abe6401cb80

deletions | additions      

       

\subsection{On arc-consistency:}  On arc-consistency:  \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}