Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.

Florian Brandl Felix Brandt Christian Geist

Published in: IJCAI (2016)

Keyphrases

data sets
real time
databases
image processing
lower bound
simulated annealing
computational efficiency
combinatorial optimization
high efficiency
statistical machine translation