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

by P Surynek, R Bartak
Venue:In CP’04: Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming