Login / Signup
Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.
Ulle Endriss
Published in:
AAAI (2020)
Keyphrases
</>
sat solving
special case
dynamic programming