TY - RPRT TI - A synchronous game for binary constraint systems AU - Se-Jin Kim AU - Vern I. Paulsen AU - Christopher Schafhauser PY - 2017 DO - 10.1063/1.4996867 UR - https://arxiv.org/abs/1707.01016 ID - 1707.01016 ER -