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

ABACUS
 Referenced in 115 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 4 articles
[sw22084]
 semantics. Searching for solutions of problems (as enumerating extensions or checking argumentacceptance) takes advantage ... variables, and complete searchtree with branchandbound...

FindAlmostSymmetry
 Referenced in 1 article
[sw31759]
 implement our branchandbound framework in PEBBL to allow for parallel enumeration and demonstrate...

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

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

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

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

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

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

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

Mathematica
 Referenced in 5703 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

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

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

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

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

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

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

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