A branch-and-prune solver for distance constraints | Publicación