"Soft arc consistency" . "Soft arc consistency" . . .