On forward checking for non-binary constraint satisfaction (1999)

by Christian Bessière, Pedro Meseguer, Eugene C Freuder, Javier Larrosa
Venue:In Proceedings of CP