Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions.

Paolo Penna Carmine Ventre

Published in: ACM Trans. Comput. Theory (2012)

Keyphrases

optimal solution
real time
metaheuristic
objective function
mechanisms underlying
total cost
np hard
search space
building blocks
face verification
lower bound
model checking
genetic algorithm
mechanism design
signature verification
formal verification
asynchronous circuits
data sets