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

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

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

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

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

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

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

SATO
 Referenced in 196 articles
[sw04451]
 SATO: A Solver for Propositional Satisfiability: The Davis...

Genocop
 Referenced in 1081 articles
[sw04707]
 Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

Knapsack
 Referenced in 464 articles
[sw04723]
 Knapsack problems are the simplest NPhard problems...

FEASPUMP
 Referenced in 125 articles
[sw04802]
 Feasibility pump 2.0. Finding a feasible solution of...

z3
 Referenced in 509 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

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

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

MOEA/D
 Referenced in 216 articles
[sw06583]
 MOEA/D framework. An experimental analysis of evolutionary heuristics...

SPEA2
 Referenced in 454 articles
[sw06686]
 SPEA2  The Strength Pareto Evolutionary Algorithm 2: SPEA2...

Oz
 Referenced in 113 articles
[sw06799]
 Oz is a highlevel programming language combining...

Sat4j
 Referenced in 75 articles
[sw07283]
 The Sat4j library, release 2.2 system description. Sat4j...

DIMACS
 Referenced in 530 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...