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 .