Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.

Florian Brandl Felix Brandt Manuel Eberl Christian Geist

Published in: J. ACM (2018)

Keyphrases

combinatorial optimization
decision trees
data sets
decision making
knowledge base
computational complexity
evolutionary algorithm
dynamic programming