PolyMinHash: Efficient Area-Based MinHashing of Polygons for Approximate Nearest Neighbor Search