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
Definition in file event_estim.h.
|SCIP_RETCODE||SCIPincludeEventHdlrEstim (SCIP *scip)|
|SCIP_Real||SCIPgetTreesizeEstimation (SCIP *scip)|