Arc consistency & majority