Chapter 5.1

Constraint Satisfaction

• {X_i}: variables
• Each variable has a {D_i} domain of possible values
• {C_i}: constraints
• Goal: Assign values to variables such that no constraints are violated

Incremental Problem Formulation

• Initial State
• Successor Function
• Goal Test
• Path Cost

Complete State Problem Formulation

Examples

• 8 Queens
• Map Coloring
• Scheduling
• Cryptarithmetic, e.g. SEND + MORE = MONEY