Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.

Florian Brandl, Felix Brandt, Christian Geist

Browse the full IJCAI paper archive.