
GAMS
 Referenced in 806 articles
[sw04978]
 The General Algebraic Modeling System (GAMS) is specifically...

Cliquer
 Referenced in 63 articles
[sw05044]
 Cliquer  routines for clique searching. Cliquer is a...

DDSIP
 Referenced in 40 articles
[sw05103]
 Dual decomposition in twostage stochastic mixedinteger...

VRP
 Referenced in 928 articles
[sw05207]
 The Vehicle Routing Problem (VRP) is one of...

HOL
 Referenced in 465 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

WEKA
 Referenced in 266 articles
[sw06435]
 WEKA: Waikato Environment for Knowledge Analysis. WEKA is...

Sledgehammer
 Referenced in 112 articles
[sw07047]
 Sledgehammer is a tool that harnesses external first...

Rodin
 Referenced in 78 articles
[sw07083]
 The Rodin Platform is an Eclipsebased IDE...

Forecast
 Referenced in 60 articles
[sw07972]
 forecast: Forecasting functions for time series and linear...

glmnet
 Referenced in 390 articles
[sw08159]
 R package glmnet: Lasso and elasticnet regularized...

MaSh
 Referenced in 19 articles
[sw08206]
 MaSh: Machine Learning for Sledgehammer. Sledgehammer integrates automatic...

Z
 Referenced in 272 articles
[sw10291]
 Using Z. Specification, refinement, and proof. The book...

zoo
 Referenced in 34 articles
[sw10603]
 R package zoo: S3 Infrastructure for Regular and...

bcprod
 Referenced in 42 articles
[sw10663]
 bcprod: a specialized branchandcut system...

ElemStatLearn
 Referenced in 1148 articles
[sw11049]
 R package ElemStatLearn: Data sets, functions and examples...

QRM
 Referenced in 583 articles
[sw11358]
 R package QRM: Provides Rlanguage Code to...

SAP APO
 Referenced in 21 articles
[sw13389]
 SAP Advanced Planning and Optimization (SAP APO) provides...

01poly
 Referenced in 15 articles
[sw14281]
 Remote computing services via email. 0/1Polytopes. By...