Using inference to reduce arc consistency computation (1995)

by C Bessière, E C Freuder, J-C Régin
Venue:Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI’95