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)