A globally optimal algorithm for hotspot detection and ranking (Crime Science, 2026)