
SYMPHONY
 Referenced in 36 articles
[sw04718]
 price (BCP) is an LPbased branch and bound technique for solving largescale discrete ... SYMPHONY performs all the normal functions of branch and cut – tree management, LP solution...

BiqMac
 Referenced in 22 articles
[sw12662]
 developing Biq Mac, an SDP based Branch & Bound code (see [RRW07] or [Wie06]). The dimension...

PEBBL
 Referenced in 12 articles
[sw13809]
 objectoriented framework for scalable parallel branch and bound. Parallel Enumeration and BranchandBound ... support a wide variety of branchandbound algorithms on MPIbased messagepassing distributed ... while managing the generic aspects of branch and bound, such as maintaining the active subproblem ... scalability for branchandbound implementations. We also show how processor cache effects can lead...

ICOS
 Referenced in 16 articles
[sw04007]
 ICOS: a branch and bound based solver for rigorous global optimization. This article describes ... Constraint Solver (ICOS), which implements a branch and bound algorithm for rigorously solving global optimization...

UG
 Referenced in 24 articles
[sw03500]
 generic framework to parallelize branchandbound based solvers (e.g., MIP, MINLP, ExactIP...

MaxSolver
 Referenced in 20 articles
[sw01990]
 clauses in a Boolean formula. A branch and bound algorithm based on the Davis–Putnam...

RAPTOR
 Referenced in 20 articles
[sw09002]
 then solved by the canonical branchandbound method. The final solution is globally optimal...

GLOPT
 Referenced in 19 articles
[sw00359]
 blockseparable objective function subject to bound constraints and blockseparable constraints. It finds ... global minimizer. \parGLOPT uses a branch and bound technique to split the problem recursively into...

SBB
 Referenced in 19 articles
[sw06250]
 combination of the standard Branch and Bound method known from Mixed Integer Linear Programming...

GCG
 Referenced in 23 articles
[sw10533]
 same way, transfers branching decisions and bound changes from the original problem and solves...

ALPS
 Referenced in 17 articles
[sw00036]
 that supports the implementation of parallel branch and bound algorithms in which the bounds...

MAIC
 Referenced in 8 articles
[sw19964]
 best. We propose a branch and bound search algorithm for a mixed integer nonlinear programming ... methods to find lower and upper bounds, and branching rules for this minimization. We then ... mathematical optimization software and a branchandbound framework. We show that the proposed method...

BBMCL
 Referenced in 16 articles
[sw11525]
 coloring as a new paradigm for branchandbound exact maximum clique search. Approximate coloring...

Boost Interval Arithmetic
 Referenced in 15 articles
[sw13013]
 global optimization problems solved using branchandbound algorithms with interval computations; it is therefore...

BiqCrunch
 Referenced in 9 articles
[sw23686]
 BiqCrunch: a semidefinite branchandbound method for solving binary quadratic problems. This article presents ... quadratic optimization problems. BiqCrunch is a branchandbound method that uses an original, efficient...

MCS
 Referenced in 9 articles
[sw02814]
 criteria, the MCS algorithm alternates several Branch & Bound searches following diversified search strategies...

FindSteinerTree
 Referenced in 12 articles
[sw08245]
 This algorithm uses a branchandbound approach. It will therefore find the optimal tree ... that has the shortest possible sum of branch lengths measured as Euclidean distance (Euclidean Steiner...

QPsimplex
 Referenced in 5 articles
[sw31751]
 algorithms are not wellsuited for branchandbound algorithms for the discrete counterparts ... warm starts and suitable for branchandbound algorithms. We test the simplexbased quadratic ... about 13x over a barrierbased branchandbound algorithm and 6x over ... based branchandbound algorithm with extended formulations. The software that was reviewed as part...

Juniper
 Referenced in 4 articles
[sw26689]
 Juniper: an opensource nonlinear branchandbound solver in Julia. Nonconvex mixedinteger nonlinear ... which have limited scalability. However, nonlinear branchandbound has recently been shown ... based opensource solver for nonlinear branchandbound. Leveraging the highlevel Julia programming ... Juniper} is comparable with other nonlinear branchandbound solvers, such as {sc Bonmin...

DINS
 Referenced in 8 articles
[sw10145]
 exact MIP solver, namely a branchandbound or a branchandcut MIP solver...