Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.

Ulle Endriss

Browse the full AAAI paper archive.