Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    branch_inference.h File Reference
    Public API of SCIP » Plugin API of SCIP » Branching Rules

    Detailed Description

    inference history branching rule

    Author
    Tobias Achterberg
    Timo Berthold
    Stefan Heinz

    The inference history branching rule is based on the average number of deductions obtained after branching this variable upwards and downwards. Variables which cause many problem reductions are preferred since they are more likely to drive the created sub-tree towards infeasibility. Inference history of the variables is updated during the branch-and-bound search.

    For a more detailed description and a comparison between the inference rule and other branching rules in SCIP, we refer to

    Tobias Achterberg
    Constraint Integer Programming
    PhD Thesis, Technische Universität Berlin, 2007

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