Collusion-Resistant Mechanisms with Verification Yielding Optimal Solutions.
Paolo PennaCarmine VentrePublished in: ESA (2008)
Keyphrases
- optimal solution
- search space
- model checking
- neural network
- feasible solution
- total cost
- objective function
- lower bound
- knapsack problem
- branch and bound
- face verification
- dynamic programming
- real time
- mechanism design
- formal methods
- efficient solutions
- formal verification
- asynchronous circuits
- mechanisms underlying
- linear program
- metaheuristic
- building blocks
- upper bound
- np hard
- computer vision
- machine learning
- data mining