SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework - Vigerske, Stefan; Gleixner, Ambros (Optimization methods & software, 2018)
Keywords: Branch & bound algorithms; Global optimization; Graph representations; Graphical representations; Integer programming; Structural analysis