Our method achieves geometrically consistent partial-to-partial 3D shape matching by formulating and solving a novel integer non-linear program with a pruned search algorithm.