Login / Signup
Proving soundness of combinatorial Vickrey auctions and generating verified executable code.
Marco B. Caminati
Manfred Kerber
Christoph Lange
Colin Rowat
Published in:
CoRR (2013)
Keyphrases
</>
combinatorial auctions
mechanism design
auction mechanisms
auction protocol
winner determination
source code
multi attribute
automatically generating
bidding strategies
code generation
control flow
generation process
approximation algorithms
database
group buying
resource allocation
multi unit
mobile robot