Accelerating exactk-means algorithms with geometric reasoning | Synapse