Beyond Singleton Arc Consistency

Shaving algorithms, like singleton arc consistency (sac), are currently receiving much interest. They remove values which are not part of any solution. This paper proposes an efficient shaving algorithm for enforcing stronger forms of consistency than sac. The algorithm is based on the notion of weak k-singleton arc consistency, which is equal to sac if

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Marc R. C. van Dongen
• Keywords: Arc Consistency, Artificial Intelligence, ECAI 2006, Efficient Shaving Algorithm, Singleton Arc Consistency