All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
heur_intdiving.h
Go to the documentation of this file.
21 * Diving heuristic: Iteratively fixes some fractional variable and resolves the LP-relaxation, thereby simulating a
22 * depth-first-search in the tree. Integer Diving fixes variables with integral LP values in order to enable further
23 * domain propagations. One-level backtracking is applied: If the LP gets infeasible, the last fixing is undone, and
|