Week 11 — Constraint Satisfaction

The CSP lookahead strategy that prunes after every assignment — trace the exact order examiners expect

  1. Forward Checking for CSPs

    The CSP lookahead strategy that prunes after every assignment — trace the exact order examiners expect

  2. Waltz Line Labeling

    Label every edge as convex, concave or arrow — the CSP that proves a 2D drawing can (or cannot) depict a real 3D trihedral object

  3. CSP Relations and Arc/Path Consistency

    From math definitions to pruning power — compute R_AC from mod constraints, then enforce arc and path consistency like the papers demand