Text this: Using Constraint Propagation to Bound Linear Programs.