Constraint Graph

• Binary CSP representable as constraint graph

  • nodes are variables, labeled with val
  • edges are binary relations, labeled with constraint

• Already did this in graph coloring

  • nodes are vars, labeled with colors
  • edges are binary relations, all alike

• Dual of constraint graph