Finite Domain CSP

• In this course generally

  • finite set of variables
  • finite range of values per var

• Constraint: relation restricting allowed combinations of variable values

• Domain may be numeric, symbolic, boolean