PP-2019-30: Ulle Endriss Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms 1.Full Text, 2.Abstract. < Back
