Login / Signup

Gale-Shapley Verified.

Tobias Nipkow
Published in: J. Autom. Reason. (2024)
Keyphrases
  • axiomatic characterization
  • game theory
  • cooperative
  • real time
  • data sets
  • neural network
  • social networks
  • decision trees
  • multiscale
  • multi agent systems
  • evolutionary algorithm
  • stable marriage