They use various clustering algorithms and heuristics, but it's true that it only gives a lower bound at best.

For example: https://youtu.be/D_Eqz8_Jm2E