A branch-and-prune algorithm for solving systems of distance constraints | Publicación