Return to Article Details The Complexity of Integer Bound Propagation Download Download PDF