A new algorithm for maintaining arc consistency after constraint retraction (2004)

by Pavel Surynek, Roman Barták
Venue:In Principles and Practice of Constraint Programming