• ibexMop

  • Referenced in 2 articles [sw34657]
  • Nonlinear biobjective optimization: improvements to interval branch & bound algorithms. Interval based solvers are commonly used ... solving single-objective nonlinear optimization problems. Their reliability and increasing performance make them useful when ... only a few approaches dealing with nonlinear optimization problems, when they consider multiple objectives ... branch & bound algorithm for solving nonlinear constrained biobjective optimization problems. Although the general strategy...
  • C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • QAPLIB

  • Referenced in 233 articles [sw00751]
  • A collection of electronically available data instances for...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • TSPLIB

  • Referenced in 697 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PISA

  • Referenced in 63 articles [sw01397]
  • PISA consists of two parts: PISA is a...
  • AMIGO

  • Referenced in 10 articles [sw02425]
  • AMIGO: Advanced multidimensional interval analysis global optimization algorithm...
  • NOMAD

  • Referenced in 105 articles [sw02916]
  • Algorithm 909: NOMAD: Nonlinear Optimization with the MADS...
  • UCI-ml

  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • PAES

  • Referenced in 94 articles [sw04159]
  • The Pareto Archived Evolution Strategy (PAES) is a...
  • SNAP

  • Referenced in 166 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mosek

  • Referenced in 480 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • LKH

  • Referenced in 147 articles [sw04735]
  • LKH is an effective implementation of the Lin...
  • Concorde

  • Referenced in 317 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • FEASPUMP

  • Referenced in 132 articles [sw04802]
  • Feasibility pump 2.0. Finding a feasible solution of...