Beyond Singleton Arc Consistency