CSPs

Constraint satisfaction problems (CSPs) are a classic area of AI with applications to:

• scheduling
• design
• vision
• natural language
• temporal reasoning
• protocol verification