TY - RPRT TI - Rigorous computer analysis of the Chow-Robbins game AU - Olle Häggström AU - Johan Wästlund PY - 2012 UR - https://arxiv.org/abs/1201.0626 ID - 1201.0626 ER -