Scippy

SCIP

Solving Constraint Integer Programs

Functions
branch_inference.h File Reference
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/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeBranchruleInference (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludeBranchruleInference ( SCIP *  scip)

creates the inference history branching rule and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 654 of file branch_inference.c.

References BRANCHRULE_DESC, BRANCHRULE_MAXBOUNDDIST, BRANCHRULE_MAXDEPTH, BRANCHRULE_NAME, BRANCHRULE_PRIORITY, DEFAULT_CONFLICTWEIGHT, DEFAULT_CUTOFFWEIGHT, DEFAULT_FRACTIONALS, DEFAULT_INFERENCEWEIGHT, DEFAULT_RELIABLESCORE, DEFAULT_USEWEIGHTEDSUM, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIP_REAL_MIN, SCIPaddBoolParam(), SCIPaddRealParam(), SCIPallocMemory, SCIPincludeBranchruleBasic(), SCIPsetBranchruleCopy(), SCIPsetBranchruleExecExt(), SCIPsetBranchruleExecLp(), SCIPsetBranchruleExecPs(), SCIPsetBranchruleFree(), and TRUE.

Referenced by SCIP_DECL_BRANCHCOPY(), and SCIPincludeDefaultPlugins().