• Octane

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

  • Referenced in 23 articles [sw12662]
  • instances and quadratic 0-1 programming problems of medium size. Most of the instances were ... testing exact solution methods for quadratic 0-1 programming or Max-Cut problems...
  • LocalSolver

  • Referenced in 16 articles [sw04850]
  • black-box local-search solver for 0-1 programming. This paper introduces LocalSolver ... local-search solver for general 0-1 programming. This software allows OR practitioners to focus...
  • Biq Mac

  • Referenced in 89 articles [sw10532]
  • experiments to instances of unconstrained quadratic 0-1 optimization and to instances of the graph ... particular, for dense graphs, where linear programming-based 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 0-1 multiple knapsack problem. Given n items, each ... having a capacity k i , the 0-1 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...
  • bc-opt

  • Referenced in 12 articles [sw21181]
  • programs. A branch-and-cut mixed integer programming system, called bc-opt, is described, incorporating ... suggested for such systems, namely lifted 0-1 knapsack inequalities, 0-1 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]
  • 0-1$ 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 large-scale 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...