Constraint Propagation and Arc Consistency

Learn how AC-3 prunes impossible values from CSP domains to shrink search before backtracking even begins.