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

• Global Optimization Toolbox For Maple

• Referenced in 152 articles [sw00358]
• Optimization is the science of finding solutions that...

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