Scippy

    SCIP

    Solving Constraint Integer Programs

    Detailed Description

    event handler for tree size estimation and restarts

    This event handler plugin provides different methods for approximating the current fraction of the search that has already been completed and for estimating the total tree size at completion. It can trigger restarts of the current run if the current run seems hopeless.

    For details about the available approximations of search completion, please see

    Anderson, Hendel, Le Bodic, Pfetsch Estimating The Size of Branch-and-Bound Trees under preparation

    This code is a largely enriched version of a code that was used for clairvoyant restarts, see

    Anderson, Hendel, Le Bodic, Viernickel Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI-19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2018

    Author
    Gregor Hendel

    Definition in file event_estim.h.

    #include "scip/type_scip.h"
    #include "scip/type_retcode.h"
    #include "scip/def.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeEventHdlrEstim (SCIP *scip)
     
    SCIP_Real SCIPgetTreesizeEstimation (SCIP *scip)
     

    Function Documentation

    ◆ SCIPincludeEventHdlrEstim()

    SCIP_RETCODE SCIPincludeEventHdlrEstim ( SCIP scip)

    ◆ SCIPgetTreesizeEstimation()