Constraint graph
	n Binary CSP: each constraint relates two variables n Constraint graph: nodes are variables, arcs are constraints