Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    presol_domcol.h File Reference
    Public API of SCIP » Plugin API of SCIP » Presolvers

    Detailed Description

    dominated column presolver

    Author
    Dieter Weninger

    This presolver looks for dominance relations between variable pairs. From a dominance relation and certain bound/clique-constellations variable fixings mostly at the lower bound of the dominated variable can be derived. Additionally it is possible to improve bounds by predictive bound strengthening.

    Definition in file presol_domcol.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 SCIPincludePresolDomcol (SCIP *scip)