TY - RPRT TI - Verification of Stochastic Dominance Envy-Freeness in Time Proportional to Input Size AU - Kui-Wang Choi PY - 2026 UR - https://arxiv.org/abs/2606.16816 ID - 2606.16816 ER -