
Octane
 Referenced in 25 articles
[sw19782]
 Octane: A new heuristic for pure 01 programs. We propose a new heuristic ... pure 01 programs, which finds feasible integer points by enumerating extended facets ... results on a set of pure 01 programs taken from MIPLIB and other sources...

BiqMac
 Referenced in 23 articles
[sw12662]
 instances and quadratic 01 programming problems of medium size. Most of the instances were ... testing exact solution methods for quadratic 01 programming or MaxCut problems...

LocalSolver
 Referenced in 16 articles
[sw04850]
 blackbox localsearch solver for 01 programming. This paper introduces LocalSolver ... localsearch solver for general 01 programming. This software allows OR practitioners to focus...

Biq Mac
 Referenced in 89 articles
[sw10532]
 experiments to instances of unconstrained quadratic 01 optimization and to instances of the graph ... particular, for dense graphs, where linear programmingbased methods fail, our method performs very well...

GraphBase
 Referenced in 138 articles
[sw01555]
 testing and comparing combinatorial algorithms. The programs generate a large number of graphs with ... 0, 1, 0, 0, 1, 1, 0) and random_bigraph (128, 128, 1000, 1...

Algorithm 632
 Referenced in 3 articles
[sw23775]
 Algorithm 632: A program for the 01 multiple knapsack problem. Given n items, each ... having a capacity k i , the 01 multiple knapsack problem can be informally described ... knapsacks or rejected. The paper presents a program to solve the problem through a particular...

ELF
 Referenced in 10 articles
[sw10280]
 remarkably short program for finding, given any starting value x 0 >0 and any real ... neighborhood of 0 0 (x 0 and the zero in the same branch ... code GNOME to work for ν>1, which is the region of greatest practical...

GNOME
 Referenced in 10 articles
[sw10281]
 remarkably short program for finding, given any starting value x 0 >0 and any real ... neighborhood of 0 0 (x 0 and the zero in the same branch ... code GNOME to work for ν>1, which is the region of greatest practical...

bcopt
 Referenced in 12 articles
[sw21181]
 programs. A branchandcut mixed integer programming system, called bcopt, is described, incorporating ... suggested for such systems, namely lifted 01 knapsack inequalities, 01 gub knapsack...

Gaigen
 Referenced in 36 articles
[sw04958]
 user. The choice to create a program which generates implementations of these algebras was made ... Gaigen supports algebras with a dimension from 0 to 8. The implementation of products used ... basis vectors, all 3 signatures are supported (1, 0, +1). It is also possible...

xQx
 Referenced in 4 articles
[sw01500]
 01$ problems that can be effectively modelled and solved as unconstrained quadratic binary programs...

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

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

iOpt
 Referenced in 8 articles
[sw00448]
 iOpt: A software toolkit for heuristic search methods...

KNITRO
 Referenced in 200 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

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

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

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