%0 Journal Article %1 journals/jair/BordeauxKNV11 %A Bordeaux, Lucas %A Katsirelos, George %A Narodytska, Nina %A Vardi, Moshe Y. %D 2011 %J J. Artif. Intell. Res. %K %P 657-676 %T The Complexity of Integer Bound Propagation. %U http://dblp.uni-trier.de/db/journals/jair/jair40.html#BordeauxKNV11 %V 40

@article{journals/jair/BordeauxKNV11, added-at = {2023-12-13T09:26:37.000+0100}, author = {Bordeaux, Lucas and Katsirelos, George and Narodytska, Nina and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2d2833d3a797fb9a472c2d0b88dff264e/admin}, ee = {https://doi.org/10.1613/jair.3248}, interhash = {ce54cc0c8b0e69d8c0138e846f54e863}, intrahash = {d2833d3a797fb9a472c2d0b88dff264e}, journal = {J. Artif. Intell. Res.}, keywords = {}, pages = {657-676}, timestamp = {2023-12-13T09:26:37.000+0100}, title = {The Complexity of Integer Bound Propagation.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair40.html#BordeauxKNV11}, volume = 40, year = 2011 }