Proving the Incompatibility of Efficiency and Strategyproofness via SMT
  Solving
v1v2v3v4 (latest)

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Papers citing "Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving"

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.