Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi. The Complexity of Integer Bound Propagation. J. Artif. Intell. Res. (JAIR), 40:657-676, 2011. [doi]
@article{BordeauxKNV11,
title = {The Complexity of Integer Bound Propagation},
author = {Lucas Bordeaux and George Katsirelos and Nina Narodytska and Moshe Y. Vardi},
year = {2011},
doi = {10.1613/jair.3248},
url = {http://dx.doi.org/10.1613/jair.3248},
researchr = {https://researchr.org/publication/BordeauxKNV11},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {40},
pages = {657-676},
}