Binary CSPs

• Generality: constraints between arbitrary sets of variables?

  • not necessary: use extra variable, binary constraints
  • hard to work with (hard to draw :-)

• Binary CSP: all constraints are between pairs of variables

• Unary constraints?