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