deletions | additions       diff --git a/textit_On_arc_consistency_begin__.tex b/textit_On_arc_consistency_begin__.tex  index 41be57a..8615f1e 100644  --- a/textit_On_arc_consistency_begin__.tex  +++ b/textit_On_arc_consistency_begin__.tex 
...
\(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}  \textit{On constraint graph:}  \begin{quote}  The nodes of the graph correspond to variables of the problem, and a link connects any two variables that participate in a constraint.  \end{quote}