Scippy

SCIP

Solving Constraint Integer Programs

heur_intdiving.h File Reference

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)