-
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...
-
CP-nets
- Referenced in 138 articles
[sw01374]
- CP-nets (Condition Preference Nets) is a tool...
-
Smalltalk
- Referenced in 190 articles
[sw01561]
- Smalltalk is an object-oriented, 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 large-scale 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 open-source software tool...
-
Haskell
- Referenced in 879 articles
[sw03521]
- Haskell is a standardized, general-purpose 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...
-
UCI-ml
- 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...
