
CaSPER
 Referenced in 6 articles
[sw08629]
 environment for development and integration of constraint solvers. CaSPER is a C++ library for generic ... valued) intervalbased reasoning and for 3d space reasoning. A blackbox solver for problems...

ibexMop
 Referenced in 2 articles
[sw34657]
 interval branch & bound algorithms. Interval based solvers are commonly used for solving singleobjective 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 stateoftheart intervalbased singleobjective optimization algorithm. The code...

UniVerMec
 Referenced in 1 article
[sw35265]
 objects. Moreover, we formalize and improve intervalbased 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 SATsolver. 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 largescale 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 reducedgradient (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 nonconnvex...

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...