Lecture 6 - Constraint Satisfaction Problems

CSP

Applications

Definition

Example: Map coloring

Constraint types

Constraint graphs and hypergraphs

Node-, Arc-, and Path-consistency

Approaches to solving CSPs

Inference - Constraint propagation

Backtracking

Improving backtracking using heuristics

Local search