- A simple form of propagation makes sure all arcs are consistent: - Important: If X loses a value, neighbors of X need to be rechecked! - Arc consistency detects failure earlier than forward checking - Can be run as a preprocessor or after each assignment - What's the downside of enforcing arc consistency? \begin{tabular}{|c|} \hline Remember: Delete \\ from the tail! \end{tabular}