A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems | Publicación