Constraint Solving on Bounded String Variables