Enhancing set constraint solvers with bound consistency | Publicación