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

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

Statool
 Referenced in 9 articles
[sw00914]
 We present Statool, a software tool for obtaining...

LBFGSB
 Referenced in 200 articles
[sw01234]
 Algorithm 778: LBFGSB Fortran subroutines for...

WordNet
 Referenced in 410 articles
[sw01777]
 WordNet® is a large lexical database of English...

CONOPT
 Referenced in 171 articles
[sw02791]
 CONOPT is a generalized reducedgradient (GRG) algorithm...

ELECTRE
 Referenced in 130 articles
[sw02971]
 Electre Methods. Over the last three decades a...

LBFGS
 Referenced in 852 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

LDPC
 Referenced in 84 articles
[sw03321]
 Software for Low Density Parity Check Codes This...

deal.ii
 Referenced in 650 articles
[sw03516]
 deal.II is a C++ program library targeted at...

Silhouettes
 Referenced in 215 articles
[sw03705]
 Silhouettes: a graphical aid to the interpretation and...

Trilinos
 Referenced in 412 articles
[sw04028]
 Each Trilinos package is a selfcontained, independent...

UCIml
 Referenced in 3444 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

METIS
 Referenced in 480 articles
[sw04089]
 METIS is a set of serial programs for...

Gurobi
 Referenced in 727 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

NuSMV
 Referenced in 314 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

SPSS
 Referenced in 677 articles
[sw04269]
 SPSS is a computer program used for survey...

DOLFIN
 Referenced in 203 articles
[sw04313]
 DOLFIN is a C++/Python library that functions...