• OOBB

  • Referenced in 3 articles [sw16365]
  • help the development of parallel branch-and-bound algorithms. The main aim of the OOBB ... enlarge the user base of parallel search methods beyond the traditional community of (mostly, academic...
  • ODEA

  • Referenced in 3 articles [sw07671]
  • methods developed for encoding in our software. We devise a Branch-and-Bound scheme...
  • QPBB

  • Referenced in 2 articles [sw31774]
  • branch-and-bound algorithm to solve it globally. We also derive bounds on key variables ... increasing sample size. We compare our method with two well known global solvers...
  • SimpleS

  • Referenced in 4 articles [sw04413]
  • extension of Freudenthal’s subdivision method. The proposed algorithm deals with the more general case ... upper bound of a dynamical system performance index by means of a branch-and-bound...
  • Optimal-SPCA

  • Referenced in 3 articles [sw31821]
  • integer optimization. We propose a tailored branch-and-bound algorithm, Optimal-SPCA, that enables ... hours to prove optimality. We apply our methods to a number of real data sets...
  • pyADCG

  • Referenced in 0 articles [sw15157]
  • method, called ADCG (Alternating Direction Column Generation), is not based on the branch-and-bound ... column generation based globally convergent alternating direction method if the resulting MINLP is feasible...
  • BARON

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

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

  • Referenced in 115 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 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

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

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

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

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

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • GLOPT is a Fortran 77 program for global...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...