• 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...