
Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

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

CPnets
 Referenced in 138 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

ConGolog
 Referenced in 49 articles
[sw01801]
 ConGolog, a concurrent programming language based on the...

MaxSolver
 Referenced in 20 articles
[sw01990]
 Maximum Boolean satisfiability (maxSAT) is the optimization...

GOLOG
 Referenced in 172 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

ASSAT
 Referenced in 175 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

OTTER
 Referenced in 316 articles
[sw02904]
 Our current automated deduction system Otter is designed...

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

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

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

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

SVMlight
 Referenced in 264 articles
[sw04076]
 Description (homepage): SVMlight is an implementation of Vapnik...

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

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

Walksat
 Referenced in 209 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Cmodels
 Referenced in 71 articles
[sw04435]
 Cmodels is a system that computes answer sets...