TY - RPRT TI - The SeqBin Constraint Revisited AU - George Katsirelos AU - Nina Narodytska AU - Toby Walsh PY - 2012 UR - https://arxiv.org/abs/1207.1811 ID - 1207.1811 ER -