Scippy

SCIP

Solving Constraint Integer Programs

prop_rootredcost.h File Reference

Detailed Description

reduced cost strengthening using root node reduced costs and the cutoff bound

Author
Tobias Achterberg
Stefan Heinz

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.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePropRootredcost (SCIP *scip)