← CSPs: Arc Consistency