New axioms for deferred acceptance.

Published in: Soc. Choice Welf. (2017)

Keyphrases

knowledge base
first order logic
nested transactions
real world
genetic algorithm
computer vision
e learning
complete axiomatization