TY  - RPRT
TI  - On the speed of constraint propagation and the time complexity of arc consistency testing
AU  - Christoph Berkholz
AU  - Oleg Verbitsky
PY  - 2013
UR  - https://arxiv.org/abs/1303.7077
ID  - 1303.7077
ER  -