
GRASP
 Referenced in 130 articles
[sw01094]
 Algorithm 754: Fortran subroutines for approximate solution of...

PRISM
 Referenced in 442 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

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

Smalltalk
 Referenced in 190 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

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

TANE
 Referenced in 39 articles
[sw02196]
 TANE: An efficient algorithm for discovering functional and...

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

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...

BABEL
 Referenced in 71 articles
[sw03018]
 Logic programming with functions and predicates: The language...

CALMA
 Referenced in 106 articles
[sw03235]
 Algorithms for radio link frequency assignment: The CALMA...

SPIN
 Referenced in 723 articles
[sw03455]
 Spin is a popular opensource software tool...

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

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

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

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

INTLAB
 Referenced in 471 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

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

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