Huang Lie Jun edited subsection_On_arc_consistency_begin__.tex  about 8 years ago

Commit id: d31a5b3cb5065f47897d13911a17eddc51a2dfbc

deletions | additions      

       

\subsection{On \textit{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}