Before revision:  The VoroCrust algorithm is the first provably correct algorithm for conforming  Voronoi meshing for non-convex and possibly non-manifold domains with guarantees on the quality of both surface and volume elements.
After revision:  The VoroCrust algorithm is the first provably-correct algorithm for conforming Voronoi meshing for non-convex and possibly non-manifold domains with guarantees on the quality of both surface and volume elements.