deletions | additions       diff --git a/subsection_A_B_Since_A__.tex b/subsection_A_B_Since_A__.tex  index 39b04c2..f2b1edc 100644  --- a/subsection_A_B_Since_A__.tex  +++ b/subsection_A_B_Since_A__.tex 
...
\subsection{\((A, \subsection{Tracing}  \subsubsection{\((A,  B)\)} Since \(A = B + 1\) is the constraint, Domain \(D_A\) will be reduced to \{1, 2, 3, 4\} to be make arc \((A, B)\) arc-consistent. 
...
\(D_C = \{0, 1, 2, 3, 4\}\)  \subsection{\((B, \subsubsection{\((B,  A)\)} Since \(B = A - 1\) is the constraint, Domain \(D_B\) will be reduced to \{0, 1, 2, 3\} to be make arc \((B, A)\) arc-consistent. 
...
\(D_C = \{0, 1, 2, 3, 4\}\)  \subsection{\((B, \subsubsection{\((B,  C)\)} Since \(B = 2C\) is the constraint, Domain \(D_B\) will be reduced to \{0, 2\} to be make arc \((B, C)\) arc-consistent. This change causes arc \((A, B)\) to be re-inserted to the arc queue. 
...
\(D_C = \{0, 1, 2, 3, 4\}\)  \subsection{\((C, \subsubsection{\((C,  B)\)} Since \(C = \frac{B}{2}\) is the constraint, Domain \(D_C\) will be reduced to \{0, 1\} to be make arc \((C, B)\) arc-consistent. 
...
\(D_C = \{0, 1\}\)  \subsection{\((A, \subsubsection{\((A,  B) : revise\)} Since Domain \(D_B\) has been changed, based on the constraint graph, Domain \(D_A\) will be reduced to \{1, 3\} to be make arc \((A, B)\) arc-consistent again.