reduced cost strengthening using root node reduced costs and the cutoff bound
This propagator uses the root reduced cost to (globally) propagate against the cutoff bound. The propagator checks if the variables with non-zero root reduced cost can exceed the cutoff bound. If this is the case the corresponding bound can be tightened.
The propagate is performed during the search any time a new cutoff bound (primal solution) is found.
Definition in file prop_rootredcost.h.
|SCIPincludePropRootredcost (SCIP *scip)