In simplex algorithm, if we don't get integer solution then we strengthen the bounds, so we do it for only defined variables or also for undefined variables?
Also do we do strengthening in top to bottom order of the variables or random order of strengthening is also fine?