Scippy

    SCIP

    Solving Constraint Integer Programs

    branch_gomory.h File Reference

    Detailed Description

    Gomory cut branching rule.

    Author
    Mark Turner

    The approach is based on the following papers.

    M. Turner, T. Berthold, M. Besancon, T. Koch
    Branching via Cutting Plane Selection: Improving Hybrid Branching,
    arXiv preprint arXiv:2306.06050

    The Gomory cut branching rule selects a candidate integer variable $j$ with a fractional solution value. Each candidate variable must be a basic variable in the LP Tableau (if not then it would have to be at its bound that is integer-valued) This branching rule calculates the GMI cut for the aggregated row of the LP tableau associated with the candidate variable. The generated cut is then scored using a weighted sum rule. The branching candidate whose cut is highest scoring is then selected. For more details on the method, see:

    Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
    Branching via Cutting Plane Selection: Improving Hybrid Branching
    2023

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