Weak cartels and collusion-proof auctions.
Yeon-Koo CheDaniele CondorelliJinwoo KimPublished in: J. Econ. Theory (2018)
Keyphrases
- theorem proving
- machine learning
- resource allocation
- multi attribute
- theorem prover
- online auctions
- mechanism design
- linear logic
- multi unit
- interactive theorem proving
- real time
- geometry theorem proving
- marginal utility
- mathematical proofs
- automated theorem provers
- auction protocol
- proof theory
- automated theorem proving
- group buying
- bidding strategies