conftrace_

preservation theorem

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

matching mechanism (1) economic axiom (1) impossibility theorem (1) axiomatic analysis (1) sat solving (1) strategyproof mechanism (1)

Papers

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