
PEBBL
 Referenced in 10 articles
[sw13809]
 scalable parallel branch and bound. Parallel Enumeration and BranchandBound Library (PEBBL...

ABACUS
 Referenced in 114 articles
[sw02948]
 framework for the implementation of branchandbound algorithms using linear programming relaxations. Cutting planes ... generated dynamically (branchandcut, branchandprice, branchandcutandprice). ABACUS allows ... algorithmic concepts, e.g., a list of different enumeration and branching strategies from which the best...

ConArg2
 Referenced in 1 article
[sw22084]
 semantics. Searching for solutions of problems (as enumerating extensions or checking argumentacceptance) takes advantage ... variables, and complete searchtree with branchandbound...

BARON
 Referenced in 288 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

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

CGAL
 Referenced in 319 articles
[sw00118]
 The goal of the CGAL Open Source Project...

GAP
 Referenced in 2535 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 248 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LANCELOT
 Referenced in 269 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LGO
 Referenced in 81 articles
[sw00516]
 The program system LGO serves to solve global...

Matlab
 Referenced in 10782 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 509 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NAG
 Referenced in 341 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 510 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

NTL
 Referenced in 186 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

PSPLIB
 Referenced in 236 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

R
 Referenced in 6934 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1399 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

TSPLIB
 Referenced in 639 articles
[sw00983]
 TSPLIB is a library of sample instances for...

ZRAM
 Referenced in 38 articles
[sw01038]
 The parallel search bench ZRAM and its applications...