Cinder: A fast and fair matchmaking system. - Saurav Pal (CoRR, 2026)