Constraint Satisfaction as Tree Search
		• Initial state: – No variables assigned • Operators: – Assign a single variable a member of its domain • Goal Test: – All variables assigned • Path Cost: – Irrelevant à 0