Parametric Mechanism Design via Quantifier Elimination.
Atsushi IwasakiEtsushi FujitaTaiki TodoHidenao IwaneHirokazu AnaiMingyu GuoMakoto YokooPublished in: AAMAS (2015)
Keyphrases
- mechanism design
- quantifier elimination
- constraint propagation
- first order logic
- incomplete information
- game theory
- presburger arithmetic
- functional programming
- cardinality constraints
- constraint databases
- auction mechanisms
- incentive compatible
- combinatorial auctions
- software engineering
- multi dimensional
- sufficient conditions