On Forward Checking for Non-binary Constraint Satisfaction (2002)

by C Bessière, P Meseguer, E C Freuder, J Larrosa
Venue:Artificial Intelligence