
LMI toolbox
 Referenced in 1429 articles
[sw06383]
 stateoftheart interiorpoint LMI solvers. While these solvers are significantly faster than...

YALMIP
 Referenced in 937 articles
[sw04595]
 code. Automatic categorization of problems, and automatic solver selection Supports numerous external solvers, both free ... commercial. The solvers supported by YALMIP are currently CDD, CSDP, CPLEX, DSDP, GLPK, KYPD, LINPROG...

ABAQUS
 Referenced in 1470 articles
[sw04215]
 common model data structure and integrated solver technology. Bestinclass companies are taking advantage...

HEE1GODF
 Referenced in 785 articles
[sw06606]
 Riemann solver to solve the timedependent one dimensional Euler equations for an ideal ... Godunov methods with several approximate Rieman solvers of the approximate flux type: Roe Riemann solver ... HLLC Riemann solver, HLL Riemann solver, Rusanov ”Riemann” solver Code: HEE1GODF...

PETSc
 Referenced in 1182 articles
[sw04012]
 expanding suite of parallel linear, nonlinear equation solvers and time integrators that may be used...

Gurobi
 Referenced in 530 articles
[sw04105]
 OPTIMIZER: State of the Art Mathematical Programming Solver. The Gurobi Optimizer is a state ... solver for mathematical programming. It includes the following solvers: linear programming solver (LP), quadratic programming ... solver (QP), quadratically constrained programming solver (QCP), mixedinteger linear programming solver (MILP), mixedinteger ... quadratic programming solver (MIQP), and mixedinteger quadratically constrained programming solver (MIQCP). The solvers...

HLLE
 Referenced in 572 articles
[sw06605]
 Harten, Lax, van Leer and Einfeldt) solver is an approximate solution to the Riemann problem ... stability and robustness of the HLLE solver is closely related to the signal velocities ... fluids, which was never published. HLLC solver The HLLC (HartenLaxvan LeerContact) solver...

Chaff
 Referenced in 570 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial ... both research and industry. Most existing complete solvers are variants of the DavisPutnam ... describe the development of a new complete solver, Chaff, which achieves significant performance gains through ... difficult SAT benchmarks in comparison with other solvers (DP or otherwise), including GRASP and SATO...

MiniSat
 Referenced in 536 articles
[sw00577]
 extensible SATsolver. MiniSat is a minimalistic, opensource SAT solver, developed to help researchers ... related to MiniSat, including the Pseudoboolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together...

GAMS
 Referenced in 842 articles
[sw04978]
 quickly and easily, can change from one solver to another, and can even convert from...

SCIP
 Referenced in 472 articles
[sw01091]
 currently one of the fastest noncommercial solvers for mixed integer programming (MIP) and mixed ... information down to the guts of the solver. SCIP is part of the SCIP Optimization ... Suite, which also contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework ... generic column generation solver...

CUTEr
 Referenced in 569 articles
[sw04010]
 testing environment for optimization and linear algebra solvers. The package contains a collection of test ... design, compare and improve new and existing solvers. The test problems provided are written...

CVX
 Referenced in 720 articles
[sw04594]
 well, with an appropriate integercapable solver...

SDPT3
 Referenced in 630 articles
[sw04009]
 coding of problem data for our SQLP solver. Various techniques to improve the efficiency...

Gmsh
 Referenced in 602 articles
[sw00366]
 built around four modules: geometry, mesh, solver and postprocessing. The specification of any input...

AMPL
 Referenced in 590 articles
[sw04001]
 computer manages communication with an appropriate solver. AMPL’s flexibility and convenience render it ideal...

SNOPT
 Referenced in 518 articles
[sw02300]
 that makes use of a semidefinite QP solver. It is based on a limitedmemory...

MPI
 Referenced in 500 articles
[sw06496]
 unstructured, parallel, unsteady Reynoldsaveraged NavierStokes solver...

NuSMV
 Referenced in 298 articles
[sw04131]
 connected to the Minisat SAT Solver and/or to the ZChaff SAT Solver. The University ... stateoftheart SAT solver used until version 2.5.0, and the RBC package...

ode23
 Referenced in 285 articles
[sw06600]
 differential equations; low order method. [T,Y] = solver(odefun,tspan,y0) with tspan ... function fun, if necessary. [T,Y] = solver(odefun,tspan,y0,options) solves as above with ... details. [T,Y,TE,YE,IE] = solver(odefun,tspan,y0,options) solves as above while...