Edgbaston
Edgbaston, Birmingham B15 2TT B17 0JH
United Kingdom
University of Birmingham - School of Computer Science
pillage, cooperative game theory, core, stable sets, algorithm
formal proof, mechanized reasoning, auction theory
pillage, cooperative game theory, stable sets
pillage games, cooperative game theory, core, stable sets
cooperative game theory, stable sets, algorithm, core