Trade-off between manipulability and dictatorial power: A proof of the Gibbard-Satterthwaite Theorem.

Agustín G. Bonifacio

Published in: Math. Soc. Sci. (2024)

Keyphrases

trade off
interactive theorem proving
power consumption
theorem proving
databases
digital libraries
database
information systems
decision trees
three dimensional
von neumann
proof theoretic