• BNB

  • Referenced in 1 article [sw05033]
  • nonlinear optimization problems. It is a branch-and-bound type algorithm...
  • IncMaxCLQ

  • Referenced in 1 article [sw21468]
  • space. We thus propose an incremental upper bound and combine it with MaxSAT reasoning ... used to develop an efficient branch-and-bound algorithm for MaxClique, called IncMaxCLQ, which...
  • ConArg2

  • Referenced in 1 article [sw22084]
  • variables, and complete search-tree with branch-and-bound...
  • ConsRank

  • Referenced in 1 article [sw25204]
  • incomplete. The package contains both branch-and-bound algorithms and heuristic solutions recently proposed...
  • multfisher

  • Referenced in 1 article [sw25602]
  • found. Optimization is achieved by a branch-and-bound algorithm. By application of the closed...
  • MAiNGO

  • Referenced in 1 article [sw27878]
  • model formulation.In addition to a basic branch-and-bound with some state...
  • DipPy

  • Referenced in 1 article [sw06278]
  • implementing a variety of decomposition-based branch-and-bound algorithms for solving mixed integer linear...
  • gluepy

  • Referenced in 1 article [sw23590]
  • configurations, how a simple branch-and-bound search application can be expressed simply and executed...
  • cGOP

  • Referenced in 1 article [sw20093]
  • solve these problems using decomposition and branch-and-bound techniques. It also incorporates several improvements...
  • pyADCG

  • Referenced in 0 articles [sw15157]
  • Generation), is not based on the branch-and-bound approach. The basic idea of ADCG...
  • BDMLP

  • Referenced in 0 articles [sw21972]
  • degenerate and are well scaled. The Branch-and-Bound algorithm for solving...
  • ALPS

  • Referenced in 13 articles [sw00036]
  • This paper describes the design of the Abstract...
  • BARON

  • Referenced in 264 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 38 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

  • Referenced in 99 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CDT

  • Referenced in 12 articles [sw00116]
  • Algorithm 750: CDT: A subroutine for the exact...
  • CGAL

  • Referenced in 300 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 178 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • C-XSC

  • Referenced in 103 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 118 articles [sw00182]
  • A C++ class library for extended scientific computing...