deletions | additions       diff --git a/textit_On_arc_consistency_begin__.tex b/textit_On_arc_consistency_begin__.tex  index 8615f1e..15dbb05 100644  --- a/textit_On_arc_consistency_begin__.tex  +++ b/textit_On_arc_consistency_begin__.tex 
...
\textit{On arc-consistency:} \begin{center}   On arc-consistency:  \end{center}  \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}  \textit{On \begin{center}   On  constraint graph:} graph:  \end{center}  \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.