A new branch-and-filter exact algorithm for binary constraint satisfaction problems | Publicación