A branch-and-prune algorithm for solving systems of distance constraints | IEEE Conference Publication | IEEE Xplore