
Tabu search
 Referenced in 1060 articles
[sw08556]
 useful aspects of tabu search is the ability to adapt a rudimentary prototype implementation ... discrete optimization problems to illustrate the strategic concerns of tabu search, and to show...

i*
 Referenced in 15 articles
[sw04447]
 goals, beliefs, abilities, commitments) to each other and reason about strategic relationships. Dependencies between agents...

SilviLab
 Referenced in 2 articles
[sw26946]
 used by all actors involved in the strategic forest planning. Silvilab provides a graphical representation ... system, the strength of Silvilab is the ability to assess the impact of forest planning ... application can assess the impact of existing strategic plans but also produce a new plan...

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

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

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

LINDO
 Referenced in 548 articles
[sw04448]
 LINDO Systems  Optimization Software: Integer Programming, Linear Programming...

LINGO
 Referenced in 311 articles
[sw04942]
 LINGO is a comprehensive tool designed to make...

Stata
 Referenced in 825 articles
[sw06029]
 Stata is a complete, integrated statistical package that...

Jason
 Referenced in 62 articles
[sw06187]
 Programming multiagent systems in AgentSpeak using Jason...

SAS
 Referenced in 1533 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

PORGY
 Referenced in 13 articles
[sw06923]
 PORGY aims at designing relevant graphical representations and...

OEIS
 Referenced in 4006 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

MCMAS
 Referenced in 73 articles
[sw09463]
 MCMAS: A Model Checker for the Verification of...

MCK
 Referenced in 31 articles
[sw09465]
 MCK: Model checking knowledge. MCK is a model...

ZTree
 Referenced in 624 articles
[sw11707]
 ZTree: Zurich Toolbox for readymade economic...

ORSEE
 Referenced in 171 articles
[sw11710]
 ORSEE is a webbased Online Recruitment System...

PRISMgames
 Referenced in 19 articles
[sw12934]
 PRISMgames: a model checker for stochastic multi...

MOCHA
 Referenced in 91 articles
[sw12935]
 MOCHA: Modularity in Model Checking. MOCHA is a...

Python
 Referenced in 1935 articles
[sw14460]
 Python is a widely used highlevel, general...