Combinatorial Auctions with Verification Are Tractable.
Piotr KrystaCarmine VentrePublished in: ESA (2) (2010)
Keyphrases
- combinatorial auctions
- winner determination
- resource allocation
- single item
- mechanism design
- multi unit
- approximation algorithms
- multi item
- np hard
- computational complexity
- multi unit combinatorial auctions
- model checking
- auction mechanisms
- set covering
- special case
- mathematical programming
- benchmark problems
- simulated annealing
- evolutionary algorithm
- search algorithm