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

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

  • Referenced in 1 article [sw14979]
  • method is based on a branch-and-bound (BnB) scheme that searches the entire...
  • 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 262 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 98 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 293 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CSDP

  • Referenced in 176 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...
  • FATCOP

  • Referenced in 10 articles [sw00265]
  • We describe FATCOP 2.0, a new parallel mixed...
  • Galileo

  • Referenced in 13 articles [sw00316]
  • Galileo: A tool for dynamic fault tree analysis...