TY  - RPRT
TI  - The Complexity of Integer Bound Propagation
AU  - Lucas Bordeaux
AU  - George Katsirelos
AU  - Nina Narodytska
AU  - Moshe Y. Vardi
PY  - 2014
DO  - 10.1613/jair.3248
UR  - https://arxiv.org/abs/1401.3887
ID  - 1401.3887
ER  -