Constraint Satisfaction

• Problem: Given a state space and a set of constraints, find a state that satisfies the constraints.
• Examples: n-queens problem, Boolean satisfiability, map coloring
• Algorithms: systematic search, stochastic search, hill-climbing