• SYMPHONY

• Referenced in 36 articles [sw04718]
• price (BCP) is an LP-based branch and bound technique for solving large-scale 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]
• object-oriented framework for scalable parallel branch and bound. Parallel Enumeration and Branch-and-Bound ... support a wide variety of branch-and-bound algorithms on MPI-based message-passing distributed ... while managing the generic aspects of branch and bound, such as maintaining the active subproblem ... scalability for branch-and-bound 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 branch-and-bound 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 branch-and-bound method. The final solution is globally optimal...

• GLOPT

• Referenced in 19 articles [sw00359]
• block-separable objective function subject to bound constraints and block-separable 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 branch-and-bound framework. We show that the proposed method...

• BBMCL

• Referenced in 16 articles [sw11525]
• coloring as a new paradigm for branch-and-bound exact maximum clique search. Approximate coloring...

• Boost Interval Arithmetic

• Referenced in 15 articles [sw13013]
• global optimization problems solved using branch-and-bound algorithms with interval computations; it is therefore...

• BiqCrunch

• Referenced in 9 articles [sw23686]
• BiqCrunch: a semidefinite branch-and-bound method for solving binary quadratic problems. This article presents ... quadratic optimization problems. BiqCrunch is a branch-and-bound 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 branch-and-bound 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 well-suited for branch-and-bound algorithms for the discrete counterparts ... warm starts and suitable for branch-and-bound algorithms. We test the simplex-based quadratic ... about 13x over a barrier-based branch-and-bound algorithm and 6x over ... based branch-and-bound algorithm with extended formulations. The software that was reviewed as part...

• Juniper

• Referenced in 4 articles [sw26689]
• Juniper: an open-source nonlinear branch-and-bound solver in Julia. Nonconvex mixed-integer nonlinear ... which have limited scalability. However, nonlinear branch-and-bound has recently been shown ... based open-source solver for nonlinear branch-and-bound. Leveraging the high-level Julia programming ... Juniper} is comparable with other nonlinear branch-and-bound solvers, such as {sc Bonmin...

• DINS

• Referenced in 8 articles [sw10145]
• exact MIP solver, namely a branch-and-bound or a branch-and-cut MIP solver...