On Forward Checking for Non-binary Constraint Satisfaction | Publicación