Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    heur_intdiving.h File Reference
    Public API of SCIP » Plugin API of SCIP » Primal Heuristics

    Detailed Description

    LP diving heuristic that fixes variables with integral LP value.

    Author
    Tobias Achterberg

    Diving heuristic: Iteratively fixes some fractional variable and resolves the LP-relaxation, thereby simulating a depth-first-search in the tree. Integer Diving fixes variables with integral LP values in order to enable further domain propagations. One-level backtracking is applied: If the LP gets infeasible, the last fixing is undone, and the opposite fixing is tried. If this is infeasible, too, the procedure aborts.

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