Originally posted by: SystemAdmin
[MaryFenelon said:]
I don't think CPLEX will prohibit branching on variables which are not IloCplex::ControlCallbackI::Infeasible, but you must be careful. If the variable is ImpliedFeasible, this means the variable has been removed by presolve. Presolve may have fixed it or presolve may have set it equal to some combination of other variables. If it has been fixed, branching on it won't do anything. If it has been set equal to a combination of other variables, the branch will be carried out by adding constraints on the combination of variables, which is more expensive than doing bound changes. Branching on Feasible variables can undo previous branches or replicate other branches.
#CPLEXOptimizers#DecisionOptimization