TY  - RPRT
TI  - Propagating Regular Counting Constraints
AU  - Nicolas Beldiceanu
AU  - Pierre Flener
AU  - Justin Pearson
AU  - Pascal Van Hentenryck
PY  - 2013
UR  - https://arxiv.org/abs/1309.7145
ID  - 1309.7145
ER  -