• ANTIGONE

  • Referenced in 83 articles [sw09241]
  • integer quadratically-constrained quadratic program and mixed-integer signomial optimization computational frameworks. To demonstrate ... computational results on a test suite of 2,571 problems from standard libraries...
  • MineLib

  • Referenced in 14 articles [sw07469]
  • mixed-integer programming library (MIPLIB), we present a library of publicly available test problem instances...
  • CMU-IBM

  • Referenced in 12 articles [sw13495]
  • novel open source software for solving mixed-integer nonlinear programs (MINLP) with convex relaxation ... other available libraries of test problems...
  • POP

  • Referenced in 2 articles [sw21877]
  • problems and their mixed-integer counter-parts, (b) a versatile problem generator capable of creating ... problems of arbitrary size, and (c) a comprehensive library of multiparametric programming test problems featuring ... test sets for multiparametric linear, quadratic, mixed-integer linear, and mixed-integer quadratic programming problems...
  • SSLP

  • Referenced in 1 article [sw17581]
  • Stochastic Mixed-Integer Programming Test Problems: SSCH Test Set: The SSCH suite consists ... problems with random recourse [2]. The instances have pure binary first-stage variables, mixed-binary ... location problems [1] with replications. The instances have pure binary first-stage variables, mixed-binary ... instances of a two-stage stochastic mixed-integer programs arising in server location under uncertainty...
  • MIRPLib

  • Referenced in 16 articles [sw11220]
  • model for it cast as a mixed-integer linear program. This formulation is quite general ... these problems. Finally, we present a library, called MIRPLib, of publicly available test problem instances ... interest in combined routing and inventory management problems in a maritime setting, no data sets ... class of MIRPs; (2) provide the mixed-integer linear programming community with...
  • RBFOpt

  • Referenced in 3 articles [sw28416]
  • given as an oracle over a mixed-integer box-constrained set. We assume that ... typically called a black-box optimization problem with costly evaluation. This paper describes the solution ... test set of continuous and mixed-integer nonlinear unconstrained problems taken from the literature...
  • GenPSAT

  • Referenced in 4 articles [sw24009]
  • satisfiability. We analyze a generalized probabilistic satisfiability problem (GenPSAT) which consists in deciding the satisfiability ... reduction to Mixed-Integer Programming. Capitalizing on this translation, we implement and test a solver ... GenPSAT problem. As previously observed for many other NP-complete problems, we are able...
  • bilevel

  • Referenced in 2 articles [sw25305]
  • MPCCs are single-level non-convex optimization problems that do not satisfy the standard constraint ... using off-the-shelf mixed-integer solvers. This method is tested using a wide range...
  • RowLayout

  • Referenced in 4 articles [sw31820]
  • mixed-integer linear programming formulations for the (space-free) multi-row facility layout problem with ... free) multi-row facility layout problem. In particular, we test all possible row assignments, where...
  • OREX-J

  • Referenced in 1 article [sw07410]
  • limited to a specific class of optimization problems and algorithms. The purpose of the framework ... results. Those data can include algorithm parameters, test instance generator settings, the instances themselves ... integrating other researchers’ algorithms into proprietary test beds, researchers could use OREX ... different areas: Algorithms and reformulations for mixed-integer programming models for dynamic lot-sizing with...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

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

  • Referenced in 11 articles [sw00265]
  • We describe FATCOP 2.0, a new parallel mixed...
  • KNITRO

  • Referenced in 175 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LANCELOT

  • Referenced in 297 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

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