• CaSPER

  • Referenced in 6 articles [sw08629]
  • environment for development and integration of constraint solvers. CaSPER is a C++ library for generic ... valued) interval-based reasoning and for 3d space reasoning. A black-box solver for problems...
  • ibexMop

  • Referenced in 2 articles [sw34657]
  • interval branch & bound algorithms. Interval based solvers are commonly used for solving single-objective nonlinear ... this paper, we propose a new interval branch & bound algorithm for solving nonlinear constrained biobjective ... optimization problems. Although the general strategy is based on other works, we propose some improvements ... IbexOpt, a state-of-the-art interval-based single-objective optimization algorithm. The code...
  • UniVerMec

  • Referenced in 1 article [sw35265]
  • objects. Moreover, we formalize and improve interval-based hierarchical structures which are used by both ... extended by interfacing additional external IVP solver libraries...
  • BARON

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

  • Referenced in 31 articles [sw00442]
  • Algorithm 681: INTBIS, a portable interval Newton/bisection package...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PROFIL/BIAS

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

  • Referenced in 26 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • SNOPT

  • Referenced in 556 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • GLOPTLAB

  • Referenced in 16 articles [sw02776]
  • GLOPTLAB: a configurable framework for the rigorous global...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • SeDuMi

  • Referenced in 1284 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • INTLAB

  • Referenced in 472 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • ICOS

  • Referenced in 16 articles [sw04007]
  • ICOS: a branch and bound based solver for...
  • SoPlex

  • Referenced in 88 articles [sw04063]
  • SoPlex is a Linear Programming (LP) solver based...
  • RSOLVER

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Couenne

  • Referenced in 69 articles [sw04347]
  • Branching and bounds tightening techniques for non-connvex...
  • RealPaver

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

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...