Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.

Florian Brandl Felix Brandt Christian Geist

Published in: CoRR (2016)

Keyphrases

combinatorial optimization
artificial intelligence
search engine
website
data structure
computational complexity
np hard
dynamic programming
probabilistic model
computational efficiency