What Is Constraint Satisfaction?

• Find model for problem instance that satisfies constraints

• Model: binding of values to variables = labeling of variables

• Constraint: relationship between variables that must hold

• Problem/Instance: Fundamental CS idea