Variables

  • Finite domains (discrete)
  • Infinite domains (discrete or continuous), e.g., variable involving time.

Constraints

  • Unary, binary and high order constraints; i.e., how many variables involved in a constraint.

CSPs are difficult search problems

  • If a CSP has variables, the size of each domain is , then there are complete assignments.
  • For the previous Sudoku problem, there are complete assignments .