
MiniSat
 Referenced in 527 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NTL
 Referenced in 198 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

Octave
 Referenced in 277 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PSwarm
 Referenced in 61 articles
[sw00742]
 PSwarm: a hybrid solver for linearly constrained global...

R
 Referenced in 7904 articles
[sw00771]
 R is a language and environment for statistical...

ScaLAPACK
 Referenced in 400 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

SNDlib
 Referenced in 67 articles
[sw00884]
 SNDlib is a library of test instances for...

TSPLIB
 Referenced in 659 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SCICONIC
 Referenced in 30 articles
[sw01087]
 Operation optimization of power plants with the software...

SCIP
 Referenced in 434 articles
[sw01091]
 SCIP is currently one of the fastest non...

DYNAMO
 Referenced in 250 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

GridSec
 Referenced in 4 articles
[sw01927]
 GridSec: Trusted grid computing with security binding and...

SNOPT
 Referenced in 497 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SALSA
 Referenced in 30 articles
[sw02661]
 Constraint Programming is recognized as an efficient technique...

NOMAD
 Referenced in 84 articles
[sw02916]
 Algorithm 909: NOMAD: Nonlinear Optimization with the MADS...

LSDYNA
 Referenced in 309 articles
[sw03068]
 LSDYNA A combined Implicit/Explicit solver. One scalable...

NinfG/MPI
 Referenced in 45 articles
[sw03461]
 A hybrid parallel method for large sparse eigenvalue...

Haskell
 Referenced in 840 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

AMPL
 Referenced in 579 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SeDuMi
 Referenced in 1165 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...