
Nucleolus
 Referenced in 1 article
[sw40377]
 desirable payoffsharing solution in cooperative games, thanks to its attractive properties  it always exists ... lexicographically minimizes the dissatisfactions among all coalitions. Although computing the nucleolus is very challenging ... solution is the nucleolus in relatively small games (i.e. with the number of players ... approach, however, becomes more challenging for larger games because of the need to form...

NEGEXT
 Referenced in 1 article
[sw09761]
 possibility of representing learning from game to game, by sequential and parallel composition ... individual or a specific coalition can achieve a given objective...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

PSPLIB
 Referenced in 277 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

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

RelView
 Referenced in 102 articles
[sw00798]
 The RelViewSystem is an interactive tool for...

GraphBase
 Referenced in 138 articles
[sw01555]
 The Stanford GraphBase is a freely available collection...

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

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

Gurobi
 Referenced in 727 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

NuSMV
 Referenced in 314 articles
[sw04131]
 NuSMV is a symbolic model checker developed as...

SNAP
 Referenced in 179 articles
[sw04184]
 Stanford Network Analysis Platform (SNAP) is a general...

Bioconductor
 Referenced in 328 articles
[sw04205]
 Bioconductor provides tools for the analysis and comprehension...

Qhull
 Referenced in 332 articles
[sw04419]
 The convex hull of a point set P...

CUDD
 Referenced in 158 articles
[sw04446]
 The CUDD package provides functions to manipulate Binary...

azove
 Referenced in 13 articles
[sw04634]
 On threshold BDDs and the optimal variable ordering...

Optgame
 Referenced in 6 articles
[sw04936]
 Solving dynamic macroeconomic policy games using the algorithm...

CliffMath
 Referenced in 23 articles
[sw04955]
 Operator calculus on graphs. Theory and applications in...